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

Markup commands 'chapter' .. 'text' support optional locale specification;
2005-09-05, by wenzelm
removed duplicate theorems;
2005-09-05, by wenzelm
introduced binding priority 1 for linear combinators etc.
2005-09-05, by haftmann
converted to Isar theory format;
2005-09-03, by wenzelm
tuned method;
2005-09-03, by wenzelm
tuned;
2005-09-03, by wenzelm
obsolete;
2005-09-03, by wenzelm
converted to Isar theory format;
2005-09-03, by wenzelm
obsolete (see Cube.thy);
2005-09-03, by wenzelm
tuned msg;
2005-09-03, by wenzelm
uses ("LCF_lemmas.ML");
2005-09-03, by wenzelm
converted to Isar theory format;
2005-09-03, by wenzelm
tuned;
2005-09-03, by wenzelm
removed fix.thy, pair.thy, simpdata.ML;
2005-09-03, by wenzelm
converted to Isar theory format;
2005-09-03, by wenzelm
converted to Isar theory format;
2005-09-03, by wenzelm
setmp print_mode []; more robust outer syntax; tuned;
2005-09-03, by wenzelm
tuned;
2005-09-03, by wenzelm
simplified oracle;
2005-09-03, by wenzelm
use Check.ML;
2005-09-03, by wenzelm
fixed ML errors;
2005-09-03, by wenzelm
removed IOA/Storage/Impl.ML, IOA/Storage/Action.ML;
2005-09-03, by wenzelm
deprecated non-Isar theory file format;
2005-09-03, by wenzelm
Added ECommunication.ML
2005-09-02, by quigley
Added ECommunication.ML and modified res_atp.ML, Reconstruction.thy, and
2005-09-02, by quigley
further tidying up of Isabelle-ATP link
2005-09-02, by paulson
converted specifications to Isar theories;
2005-09-02, by wenzelm
some 'assoc' etc. refactoring
2005-09-02, by haftmann
tidying up the Isabelle/ATP interface
2005-09-02, by paulson
fixed arities and restored changes that had gone missing
2005-09-02, by paulson
deleted obsolete VampireCommunication.ML
2005-09-02, by paulson
print_locale omits facts by default
2005-09-02, by ballarin
curried_lookup/update;
2005-09-01, by wenzelm
refrain from sorting output;
2005-09-01, by wenzelm
curried_lookup/update;
2005-09-01, by wenzelm
curried_lookup/update;
2005-09-01, by wenzelm
curried_lookup/update;
2005-09-01, by wenzelm
added curried_lookup/update operations -- in preparation of currying plain lookup/update;
2005-09-01, by wenzelm
curried_lookup/update;
2005-09-01, by wenzelm
updated;
2005-09-01, by wenzelm
renamed 'thms_containing' to 'find_theorems' -- keep old version for the time being;
2005-09-01, by wenzelm
removed obsolete 'symbols' mode;
2005-09-01, by wenzelm
added PGASCII print_mode, which represents special chars as ASCII 1 + A ... Z;
2005-09-01, by wenzelm
improved formatting
2005-09-01, by paulson
isamarkuptext/txt: \par before changing sizes prevents spacing anomaly;
2005-09-01, by wenzelm
updated;
2005-09-01, by wenzelm
fixed ins_tokentr: AList.default;
2005-08-31, by wenzelm
comp -> compile
2005-08-31, by nipkow
Additional BigO lemmas that require the HOL-Complex logic image;
2005-08-31, by wenzelm
added copy-dump option;
2005-08-31, by wenzelm
added line break for 'uses';
2005-08-31, by wenzelm
added no_body_context;
2005-08-31, by wenzelm
use_dir: added copy-dump option;
2005-08-31, by wenzelm
present_text: Toplevel.no_body_context prevents use of wrong context in interaction;
2005-08-31, by wenzelm
refer to theory instead of low-level tsig;
2005-08-31, by wenzelm
tuned classes_arities_of;
2005-08-31, by wenzelm
refer to theory instead of low-level tsig;
2005-08-31, by wenzelm
added Avigad-Donnelly;
2005-08-31, by wenzelm
reactivate postfix by change of syntax;
2005-08-31, by wenzelm
tuned presentation;
2005-08-31, by wenzelm

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

isabelle