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

locale expressions;
2001-11-21, by wenzelm
use tracing function for trace output;
2001-11-21, by wenzelm
tracing_fn;
2001-11-21, by wenzelm
added tracing, tracing_fn;
2001-11-21, by wenzelm
Set.vimage;
2001-11-21, by wenzelm
got rid of theory Inverse_Image;
2001-11-21, by wenzelm
theory Inverse_Image converted and moved to Set;
2001-11-21, by wenzelm
tuned;
2001-11-21, by wenzelm
tuned;
2001-11-20, by wenzelm
fixed links etc.;
2001-11-20, by wenzelm
* HOL/record: cases/induct for more parts;
2001-11-20, by wenzelm
prefer later trfuns;
2001-11-20, by wenzelm
moved prefixes1, suffixes1 to library.ML;
2001-11-20, by wenzelm
trfuns *after* binder syntax;
2001-11-20, by wenzelm
added prefixes1, suffixes1;
2001-11-20, by wenzelm
print_depth 10;
2001-11-20, by wenzelm
derive cases/induct rules for ``more'' parts;
2001-11-20, by wenzelm
tuned;
2001-11-20, by wenzelm
Hyperreal
2001-11-20, by paulson
improved treatment of common result name;
2001-11-19, by wenzelm
tuned;
2001-11-19, by wenzelm
multi_theorem: common statement header (covers *all* results);
2001-11-19, by wenzelm
fixed comment;
2001-11-19, by wenzelm
induct method: localize rews for rule;
2001-11-19, by wenzelm
Now handles different theorems with same name more gracefully.
2001-11-19, by berghofe
Improved error message.
2001-11-19, by berghofe
Added setup.
2001-11-19, by berghofe
Moved fastype to Envir.
2001-11-19, by berghofe
Further restructuring of theorem naming functions.
2001-11-19, by berghofe
Added setup for proof rewrite rules.
2001-11-19, by berghofe

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

isabelle