Mercurial
Mercurial
>
hg
>
nominal2
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-15
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Nominal/Test.thy
2010-03-26
Cezary Kaliszyk
Extract PS7 and PS8 from Test. PS7 needs the same fix as Core Haskell.
file
|
diff
|
annotate
2010-03-24
Christian Urban
some tuning; possible fix for strange paper generation
file
|
diff
|
annotate
2010-03-23
Cezary Kaliszyk
More reorganization.
file
|
diff
|
annotate
2010-03-23
Cezary Kaliszyk
Move Leroy out of Test, rename accordingly.
file
|
diff
|
annotate
2010-03-23
Cezary Kaliszyk
Term1 is identical to Example 3
file
|
diff
|
annotate
2010-03-23
Cezary Kaliszyk
Move example3 out.
file
|
diff
|
annotate
2010-03-23
Cezary Kaliszyk
Move Ex1 and Ex2 out of Test
file
|
diff
|
annotate
2010-03-23
Cezary Kaliszyk
Move examples which create more permutations out
file
|
diff
|
annotate
2010-03-23
Cezary Kaliszyk
Move LamEx out of Test.
file
|
diff
|
annotate
2010-03-23
Cezary Kaliszyk
Move Non-respectful examples to NotRsp
file
|
diff
|
annotate
2010-03-23
Cezary Kaliszyk
Move the comment to appropriate place.
file
|
diff
|
annotate
2010-03-19
Cezary Kaliszyk
Automatically derive support for datatypes with at-most one binding per constructor.
file
|
diff
|
annotate
2010-03-19
Cezary Kaliszyk
Update Test to use fset.
file
|
diff
|
annotate
2010-03-18
Cezary Kaliszyk
Leroy96 supp=fv and fixes to make it compile
file
|
diff
|
annotate
2010-03-18
Christian Urban
corrected the strong induction principle in the lambda-calculus case; gave a second (oartial) version that is more elegant
file
|
diff
|
annotate
less
more
(0)
-15
tip