Mercurial
Mercurial
>
hg
>
nominal2
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-1000
-300
-100
-50
-30
+30
+50
+100
+300
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
updated to new Isabelle
2010-08-28, by Christian Urban
cut out most of the lifting section and cleaned up everything
2010-08-27, by Christian Urban
made all typographic changes
2010-08-27, by Christian Urban
first pass on section 1
2010-08-27, by Christian Urban
make copies of the "old" files
2010-08-27, by Christian Urban
Ball Bex can be lifted after unfolding.
2010-08-27, by Cezary Kaliszyk
"isabelle make test" makes all major examples....they work up to supp theorems (excluding)
2010-08-27, by Christian Urban
merged
2010-08-27, by Christian Urban
corrected bug with fv-function generation (that was the problem with recursive binders)
2010-08-27, by Christian Urban
minor
2010-08-26, by Cezary Kaliszyk
cleaned up (almost completely) the examples
2010-08-26, by Christian Urban
cleaning of unused files and code
2010-08-25, by Christian Urban
automatic lifting
2010-08-25, by Christian Urban
everything now lifts as expected
2010-08-25, by Christian Urban
now every lemma lifts (even with type variables)
2010-08-25, by Christian Urban
can now deal with type variables in nominal datatype definitions
2010-08-25, by Christian Urban
updated to new Isabelle
2010-08-22, by Christian Urban
merged
2010-08-22, by Christian Urban
updated to new Isabelle
2010-08-22, by Christian Urban
not needed anymore
2010-08-21, by Christian Urban
moved lifting code from Lift.thy to nominal_dt_quot.ML
2010-08-21, by Christian Urban
nominal_datatypes with type variables do not work
2010-08-21, by Christian Urban
changed parser so that the binding mode is indicated as "bind (list)", "bind (set)" or "bind (res)"; if only "bind" is given, then bind (list) is assumed as default
2010-08-21, by Christian Urban
Clarifications to FIXMEs.
2010-08-20, by Cezary Kaliszyk
Finished adding remarks from the reviewers.
2010-08-20, by Cezary Kaliszyk
few remaining remarks as fixme's.
2010-08-20, by Cezary Kaliszyk
used @{const_name} hopefully everywhere
2010-08-19, by Christian Urban
Intuition behind REL
2010-08-19, by Cezary Kaliszyk
add missing mathpartir
2010-08-19, by Cezary Kaliszyk
Add 2 FIXMEs
2010-08-19, by Cezary Kaliszyk
less
more
|
(0)
-1000
-300
-100
-50
-30
+30
+50
+100
+300
tip