isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

moved proof of "choice" to Tools/meson.ML
2000-09-05, by paulson
fixed a slow proof
2000-09-05, by paulson
simplified two index entries, since now ZF is by itself
2000-09-05, by paulson
meson_tac
2000-09-05, by paulson
*** empty log message ***
2000-09-05, by nipkow
tuned comment;
2000-09-04, by wenzelm
added safe_mk_meta_eq;
2000-09-04, by wenzelm
tuned "mono" att setup;
2000-09-04, by wenzelm
tuned;
2000-09-04, by wenzelm
added add_rules, del_rules;
2000-09-04, by wenzelm
display: avoid empty lines;
2000-09-04, by wenzelm
tuned;
2000-09-04, by wenzelm
minor fixes for new version of Primes.thy
2000-09-04, by paulson
Renamed real_of_posnat_less_zero to real_of_posnat_gt_zero
2000-09-04, by paulson
Converting HOL/ex/Primes.thy to new style, removing Primes.ML
2000-09-04, by paulson
BCV
2000-09-04, by nipkow
added pretend_use_thy_only;
2000-09-03, by wenzelm
proper_inform_file_processed: ThyInfo.pretend_use_thy_only;
2000-09-03, by wenzelm
improved section markup;
2000-09-03, by wenzelm
tuned;
2000-09-03, by wenzelm
GPLed;
2000-09-03, by wenzelm
GPLed;
2000-09-03, by wenzelm
new reference girard89
2000-09-03, by paulson
Lambda/document/root.tex;
2000-09-02, by wenzelm
* HOL/Lambda: converted into new-style theory and document;
2000-09-02, by wenzelm
document setup;
2000-09-02, by wenzelm
updated;
2000-09-02, by wenzelm
HOL/Lambda: converted into new-style theory and document;
2000-09-02, by wenzelm
method_setup: thms closure;
2000-09-02, by wenzelm
added mode parser;
2000-09-02, by wenzelm
added get_thm_closure;
2000-09-02, by wenzelm
"split": added "(asm)" option;
2000-09-02, by wenzelm
added "slow";
2000-09-02, by wenzelm
added "slowsimp", "bestsimp";
2000-09-02, by wenzelm
"inductive_cases": proper command;
2000-09-02, by wenzelm
use Args.mode;
2000-09-02, by wenzelm
converted;
2000-09-02, by wenzelm
added 'iff del' att;
2000-09-02, by wenzelm
tuned rail;
2000-09-02, by wenzelm
'split' method: '(asm)' option;
2000-09-02, by wenzelm
some stuff;
2000-09-02, by wenzelm
provide "--" argument: tentative release;
2000-09-02, by wenzelm
tuned;
2000-09-02, by wenzelm
copy_files: do not quote paths (for now);
2000-09-01, by wenzelm
fixed quoting;
2000-09-01, by wenzelm
isatool nonascii;
2000-09-01, by wenzelm
*** empty log message ***
2000-09-01, by nipkow
Completely new version of BCV
2000-09-01, by nipkow
ISABELLE_PATH: ML_IDENTIFIER no longer added;
2000-09-01, by wenzelm
GPLed;
2000-09-01, by wenzelm
GPLed;
2000-09-01, by wenzelm
more robust handling of spaces in args / file names;
2000-09-01, by wenzelm
GPLed;
2000-09-01, by wenzelm
isatool_document: quote args;
2000-09-01, by wenzelm
export quote_sysify_path;
2000-09-01, by wenzelm
/usr/bin/perl;
2000-09-01, by wenzelm
cleanup dist sources afterwards;
2000-09-01, by wenzelm
cvs-copy - make copy of CVS controlled directory hierarchy;
2000-09-01, by wenzelm
added 'safe' method;
2000-09-01, by wenzelm
Method.bang_sectioned_args';
2000-09-01, by wenzelm

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

isabelle