Mercurial
Mercurial
>
hg
>
nominal2
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-1000
-300
-100
-15
+15
+100
+300
+1000
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.
remove tracing
2010-05-03, by Cezary Kaliszyk
Cheat support equations in new parser
2010-05-03, by Cezary Kaliszyk
Remove dependency on NewFv
2010-05-03, by Cezary Kaliszyk
Fix Parser
2010-05-03, by Cezary Kaliszyk
Add explicit cheats in NewParser and comment out the examples for outside use.
2010-05-03, by Cezary Kaliszyk
Fix Datatype_Aux calls in NewParser.
2010-05-03, by Cezary Kaliszyk
Move old fv_alpha_export to Fv.
2010-05-03, by Cezary Kaliszyk
moved old parser and old fv back into their original places; isabelle make works again
2010-05-03, by Christian Urban
slight tuning
2010-05-03, by Christian Urban
simplified the supp-of-finite-sets proof
2010-05-02, by Christian Urban
tried to add some comments in the huge(!) nominal2_cmd function
2010-05-02, by Christian Urban
replaced make_pair with library function HOLogic.mk_prod
2010-05-02, by Christian Urban
removed duplicate eqvt attribute
2010-05-02, by 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)
2010-05-02, by Christian Urban
merged
2010-05-01, by Christian Urban
less
more
|
(0)
-1000
-300
-100
-15
+15
+100
+300
+1000
tip