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 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

preemptive NEWS
2010-08-17, by haftmann
tuned code
2010-08-17, by haftmann
use extension constant as formal constructor of logical record type
2010-08-17, by haftmann
deleted typecopy package
2010-08-17, by haftmann
authentic syntax allows simplification of type names
2010-08-17, by haftmann
dropped make_/dest_ naming convention
2010-08-17, by haftmann
formally integrated typecopy layer into record package
2010-08-17, by haftmann
eliminated typecopy interpretation
2010-08-17, by haftmann
moved spurious auxiliary lemma here
2010-08-18, by haftmann
tuned proof
2010-08-18, by haftmann
qualified constants Let and If
2010-08-18, by haftmann
NEWS
2010-08-18, by haftmann
merged
2010-08-18, by haftmann
deglobalization
2010-08-18, by haftmann
merged
2010-08-18, by blanchet
merged
2010-08-18, by blanchet
rename enum values
2010-08-18, by blanchet
handle bound name conflicts gracefully in FOF translation
2010-08-18, by blanchet
with Kodkodi 1.2.15, Java 1.5 is fine
2010-08-18, by blanchet
gracefully handle the case where the JVM is too old in Nitpick
2010-08-18, by blanchet
improve SPASS clause numbering hack
2010-08-18, by blanchet
deglobalization
2010-08-18, by haftmann
more antiquotations
2010-08-18, by haftmann
added equality instantiation
2010-08-18, by haftmann
use command_def more consciously
2010-08-18, by haftmann
stub for evaluation chapter
2010-08-18, by haftmann
updated generated document
2010-08-18, by haftmann
dropped errorneous underscore
2010-08-18, by haftmann
output whitespace tuning
2010-08-18, by haftmann
use command_def
2010-08-18, by haftmann

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

isabelle