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

Switched function package to use the new package for inductive predicates.
2006-10-18, by krauss
More robust error handling in make_nnf and forward_res
2006-10-18, by paulson
Stylistic improvements.
2006-10-18, by ballarin
Restructured and repaired code dealing with case names
2006-10-17, by berghofe
macbroy6 still has non-standard setup
2006-10-17, by kleing
moved HOL code generator setup to Code_Generator
2006-10-16, by haftmann
slight cleanup
2006-10-16, by haftmann
fixed print translations for bounded quantification
2006-10-16, by haftmann
added explicit print translation for nat_case
2006-10-16, by haftmann
added isactrlconst
2006-10-16, by haftmann
Order and lattice structures no longer based on records.
2006-10-16, by ballarin
add experimental macbroy6 (intel-darwin)
2006-10-15, by isatest
add experimental at64 poly-4.9.1 test on atbroy101
2006-10-15, by isatest
generate devel snapshot even if experimental builds fail.
2006-10-15, by kleing
added peek;
2006-10-14, by wenzelm
added theorem(_i);
2006-10-14, by wenzelm
export map_elem;
2006-10-14, by wenzelm
added assert;
2006-10-14, by wenzelm
theorem: added local_theory version;
2006-10-14, by wenzelm
Attrib.pretty_attrib;
2006-10-14, by wenzelm
added pretty_attribs (from attrib.ML);
2006-10-14, by wenzelm
moved pretty_attribs to attrib.ML;
2006-10-14, by wenzelm
locale begin/end;
2006-10-14, by wenzelm
updated;
2006-10-13, by wenzelm
Added keywords for new inductive definition package.
2006-10-13, by berghofe
Adapted to changes in FixedPoint theory.
2006-10-13, by berghofe
Moved old inductive package to old_inductive_package.ML
2006-10-13, by berghofe
Completely rewrote inductive definition package. Now allows to
2006-10-13, by berghofe
Old version of inductive definition package (for sets).
2006-10-13, by berghofe
Moved old inductive package to old_inductive_package.ML
2006-10-13, by berghofe

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

isabelle