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

proper treatment of polymorphic sets;
2005-09-06, by wenzelm
tuned comments;
2005-09-06, by wenzelm
converted to Isar theory format;
2005-09-06, by wenzelm
make LocalesTest last, because it sets funny flags;
2005-09-06, by wenzelm
avoid old-style infixes;
2005-09-06, by wenzelm
axclass: name space prefix is now "c_class" instead of just "c";
2005-09-06, by wenzelm
axclass: name space prefix is now "c_class" instead of just "c";
2005-09-06, by wenzelm
unnecessary parentheses removed
2005-09-06, by webertj
converted to Isar theory format;
2005-09-06, by wenzelm
introduced some new-style AList operations
2005-09-06, by haftmann
eliminated 1 call to polyEq
2005-09-06, by haftmann
tuned;
2005-09-05, by wenzelm
updated;
2005-09-05, by wenzelm
obsolete;
2005-09-05, by wenzelm
added assert, command;
2005-09-05, by wenzelm
tuned check_text;
2005-09-05, by wenzelm
chapter/section/subsection/subsubsection/text: optional locale specification;
2005-09-05, by wenzelm
markup commands: optional locale specification;
2005-09-05, by wenzelm
add_chapter/section/subsection/subsubsection/text: optional locale specification;
2005-09-05, by wenzelm
curried_lookup/update;
2005-09-05, by wenzelm
tuned;
2005-09-05, by wenzelm
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

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

isabelle