isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip

tuned whitespace;
2012-12-30, by wenzelm
uniform notation for == and \<equiv> (cf. 3e3c2af5e8a5);
2012-12-30, by wenzelm
tuned;
2012-12-29, by wenzelm
new theory Library/Finite_Lattice
2012-12-29, by nipkow
tuned ML function name
2012-12-28, by blanchet
slightly more elegant naming convention (to keep low-level and high-level APIs separated)
2012-12-28, by blanchet
tuned ML function names
2012-12-28, by blanchet
code checking for Scala is mandatory, since Scala is now required anyway for Isabelle
2012-12-28, by haftmann
code checking for Scala is mandatory, since Scala is now required anyway for Isabelle
2012-12-28, by haftmann
formally corrected
2012-12-28, by haftmann
tuned
2012-12-27, by haftmann
uniform parentheses for constructor -- necessary to accomodate scala 10
2012-12-27, by haftmann
more explicit name
2012-12-27, by haftmann
improved thm order hack, in case the default names are overridden
2012-12-27, by blanchet
enable theory learning in MaSh
2012-12-27, by blanchet
merged
2012-12-27, by blanchet
new version of MaSh
2012-12-27, by blanchet
fixed total
2012-12-27, by blanchet
new version of MaSh, with theory-level reasoning
2012-12-27, by blanchet
tuned
2012-12-27, by haftmann
prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines;
2012-12-26, by wenzelm
renamed and added lemmas
2012-12-23, by nipkow
added simp rule
2012-12-22, by nipkow
merged
2012-12-21, by nipkow
merged
2012-12-21, by nipkow
merged
2012-12-21, by nipkow
linearize eval driver, to work around horrible bug in previous implementation
2012-12-21, by blanchet
name tuning
2012-12-21, by blanchet

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle