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/Equivp.thy
2010-06-23
Christian Urban
deleted compose-lemmas in Abs (not needed anymore)
file
|
diff
|
annotate
2010-05-26
Christian Urban
added FSet to the correct paper
file
|
diff
|
annotate
2010-05-24
Christian Urban
alpha works now
file
|
diff
|
annotate
2010-05-20
Christian Urban
new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files
file
|
diff
|
annotate
2010-05-12
Cezary Kaliszyk
Use raw_induct instead of induct
file
|
diff
|
annotate
2010-05-06
Cezary Kaliszyk
prod_rel.simps and Fixed for new isabelle
file
|
diff
|
annotate
2010-05-03
Cezary Kaliszyk
Remove dependency on NewFv
file
|
diff
|
annotate
2010-05-02
Christian Urban
attempted to remove dependency on (old) Fv and (old) Parser; lifting still uses Fv.thy; the examples do not work at the moment (with equivp proofs failing)
file
|
diff
|
annotate
2010-04-19
Christian Urban
deleting function perm_arg in favour of the library function mk_perm
file
|
diff
|
annotate
2010-04-14
Cezary Kaliszyk
Initial cleaning/reorganization in Fv.
file
|
diff
|
annotate
less
more
(0)
tip