Mercurial
Mercurial
>
hg
>
nominal2
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Nominal-General/nominal_eqvt.ML
2010-06-07
Christian Urban
work on transitivity proof
file
|
diff
|
annotate
2010-06-01
Christian Urban
equivariance done
file
|
diff
|
annotate
2010-05-21
Cezary Kaliszyk
Renamings
file
|
diff
|
annotate
2010-05-12
Christian Urban
added a test whether some of the constants already equivariant (then the procedure has to fail).
file
|
diff
|
annotate
2010-05-12
Christian Urban
better ML-interface (returning only a list of theorems and a context)
file
|
diff
|
annotate
2010-05-12
Christian Urban
ingnored parameters in equivariance; added a proper interface to be called from ML
file
|
diff
|
annotate
2010-05-09
Christian Urban
fixed the problem with alpha containing splits
file
|
diff
|
annotate
2010-05-06
Cezary Kaliszyk
Fixes for new isabelle
file
|
diff
|
annotate
2010-05-05
Christian Urban
solved the problem with equivariance by first eta-normalising the goal
file
|
diff
|
annotate
2010-04-25
Christian Urban
tuned
file
|
diff
|
annotate
2010-04-16
Christian Urban
automatic proofs for equivariance of alphas
file
|
diff
|
annotate
2010-04-16
Christian Urban
some tuning of eqvt-infrastructure
file
|
diff
|
annotate
2010-04-14
Christian Urban
tuned and removed dead code
file
|
diff
|
annotate
2010-04-14
Christian Urban
added a library for basic nominal functions; separated nominal_eqvt file
file
|
diff
|
annotate
less
more
(0)
tip