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

subst is a proper axiom again
2008-10-24, by haftmann
updated
2008-10-24, by haftmann
explicit namings for generated code
2008-10-24, by haftmann
Thm.get_def;
2008-10-23, by wenzelm
Thm.def_name;
2008-10-23, by wenzelm
multithreading support only for polyml-5.2.1 or later;
2008-10-23, by wenzelm
renamed get_axiom_i to axiom, removed obsolete get_axiom;
2008-10-23, by wenzelm
renamed Thm.get_axiom_i to Thm.axiom;
2008-10-23, by wenzelm
renamed structure Susp to Lazy, and Susp.delay to Lazy.lazy;
2008-10-23, by wenzelm
adapted Susp.peek;
2008-10-23, by wenzelm
thread-safe version, with non-critical evaluation;
2008-10-23, by wenzelm
do not open Susp;
2008-10-23, by wenzelm
switched parallel sessions to polyml-5.2.1;
2008-10-23, by wenzelm
fixed and reactivated HOL/Library/Pocklington.thy -- by Mark Hillebrand;
2008-10-23, by wenzelm
updated to 5.2.1;
2008-10-22, by wenzelm
prove_instantiation_exit combinators
2008-10-22, by haftmann
added meet_sort_typ
2008-10-22, by haftmann
tuned
2008-10-22, by haftmann
code identifier namings are no longer imperative
2008-10-22, by haftmann
tuned typedef interface
2008-10-22, by haftmann
slightly tuned
2008-10-22, by haftmann
fixed
2008-10-22, by haftmann
less ambitious default for JEDIT_JAVA_OPTIONS;
2008-10-21, by wenzelm
JEDIT_OPTIONS: moved -settings to interface script (more robust);
2008-10-21, by wenzelm

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

isabelle