isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

macros for Isabelle generated LaTeX output;
1999-10-05, by wenzelm
arithmetic now in IntArith;
1999-10-04, by wenzelm
simprocs now in IntArith;
1999-10-04, by wenzelm
IntArith;
1999-10-04, by wenzelm
Tools/typedef_package.ML;
1999-10-04, by wenzelm
eliminated ap/app;
1999-10-04, by wenzelm
proper dependencies of all theories and packages;
1999-10-04, by wenzelm
removed DatatypePackage.setup;
1999-10-04, by wenzelm
load / setup recdef package (TFL);
1999-10-04, by wenzelm
load / setup datatype package;
1999-10-04, by wenzelm
removed TFL/sys.sml;
1999-10-04, by wenzelm
obsolete;
1999-10-04, by wenzelm
renamed 'prefix' to 'prfx' (avoids clash with infix);
1999-10-04, by wenzelm
tuned;
1999-10-04, by wenzelm
mk_frees, assume_read moved here;
1999-10-04, by wenzelm
tryres, gen_make_elim moved here;
1999-10-04, by wenzelm
FOLogic.mk_conj;
1999-10-04, by wenzelm
added mk_conj, mk_disj, mk_imp;
1999-10-04, by wenzelm
added BVC;
1999-10-04, by wenzelm
added mk_conj, mk_disj, mk_imp;
1999-10-04, by wenzelm
working snapshot (even Alloc)
1999-10-04, by paulson
most results now refer to those for "extend"
1999-10-04, by paulson
fixed lookup_theory;
1999-10-04, by wenzelm
fixed CHANGED_GOAL, which is used by stac
1999-10-04, by paulson
improved theory_source presentation (hook);
1999-10-03, by wenzelm
improved theory_source presentation;
1999-10-03, by wenzelm
export token_source;
1999-10-03, by wenzelm
added Space, Comment token kinds (keep actual text);
1999-10-03, by wenzelm
fixed no_qed;
1999-10-01, by wenzelm
added Isar/obtain.ML;
1999-10-01, by wenzelm

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

isabelle