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/NewAlpha.thy
2010-05-27
Christian Urban
merged
file
|
diff
|
annotate
2010-05-24
Christian Urban
tuned
file
|
diff
|
annotate
2010-05-24
Christian Urban
alpha works now
file
|
diff
|
annotate
2010-05-23
Christian Urban
started to work on alpha
file
|
diff
|
annotate
2010-05-22
Christian Urban
properly exported bn_descr
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-27
Christian Urban
fixed bug where perm_simp 'forgets' how to prove equivariance for the empty set
file
|
diff
|
annotate
2010-05-14
Cezary Kaliszyk
Proper fv/alpha for multiple compound binders
file
|
diff
|
annotate
2010-05-12
Cezary Kaliszyk
Use raw_induct instead of induct
file
|
diff
|
annotate
2010-05-10
Cezary Kaliszyk
Use mk_compound_fv' and mk_compound_rel'
file
|
diff
|
annotate
2010-05-06
Cezary Kaliszyk
Fixes for new Isabelle
file
|
diff
|
annotate
2010-05-06
Cezary Kaliszyk
compound versions with prod_rel and prod_fun, not made default yet.
file
|
diff
|
annotate
2010-05-02
Christian Urban
replaced make_pair with library function HOLogic.mk_prod
file
|
diff
|
annotate
2010-04-30
Cezary Kaliszyk
Change signature of fv and alpha generation.
file
|
diff
|
annotate
2010-04-29
Cezary Kaliszyk
New Alpha.
file
|
diff
|
annotate
less
more
(0)
tip