isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

more ref macros;
2008-04-29, by wenzelm
session based on HOL;
2008-04-29, by wenzelm
thms Max_ge, Min_le: dropped superfluous premise
2008-04-28, by haftmann
proper command/keyword markup;
2008-04-28, by wenzelm
added AND, IS, WHERE symbols;
2008-04-28, by wenzelm
converted syntax.tex to Thy/syntax.thy;
2008-04-28, by wenzelm
dropping return in imperative monad bindings
2008-04-28, by haftmann
corrected ML semantics
2008-04-27, by haftmann
added setup for Isar entities;
2008-04-26, by wenzelm
fixed recdef, broken by my previous commit
2008-04-26, by krauss
* New attribute "termination_simp": Simp rules for termination proofs
2008-04-25, by krauss
Merged theories about wellfoundedness into one: Wellfounded.thy
2008-04-25, by krauss
moved 'trivial classes' to foundation of code generator
2008-04-24, by haftmann
tuned index commands;
2008-04-24, by wenzelm
more abstract index commands;
2008-04-24, by wenzelm
added \indexoutersyntax;
2008-04-24, by wenzelm
fixed proof
2008-04-23, by haftmann
misc cleanup;
2008-04-23, by wenzelm
converted intro.tex to Thy/intro.thy;
2008-04-23, by wenzelm
more general evaluation combinators
2008-04-22, by haftmann
different handling of eq class for nbe
2008-04-22, by haftmann
basic setup for generated document (cf. ../IsarImplementation);
2008-04-22, by wenzelm
dropped theory PreList
2008-04-22, by haftmann
added explicit check phase after reading of specification
2008-04-22, by haftmann
added theory Sublist_Order
2008-04-22, by haftmann
dropped some metis calls
2008-04-22, by haftmann
tuned proofs
2008-04-22, by haftmann
constant HOL.eq now qualified
2008-04-22, by haftmann

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

isabelle