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

removed MLtrans, MLtext;
1997-05-06, by wenzelm
added \Pure, \CPure;
1997-05-06, by wenzelm
misc updates, tuning, cleanup;
1997-05-06, by wenzelm
tuned;
1997-05-05, by wenzelm
tuned;
1997-05-05, by wenzelm
Cosmetic update of induct_tac; test first now.
1997-05-05, by nipkow
SYNC;
1997-05-05, by wenzelm
misc updates, tuning, cleanup;
1997-05-05, by wenzelm
Some blast_tac calls; more needed
1997-05-05, by paulson
Again "norm" DOES NOT normalize bodies of abstractions
1997-05-05, by paulson
fixed comment;
1997-05-02, by wenzelm
-P option (prune empty dirs);
1997-05-02, by wenzelm
Updated to LaTeX 2e
1997-05-02, by berghofe
New version of rail.sty for LaTeX 2e
1997-05-02, by berghofe
Updated to LaTeX 2e
1997-05-02, by berghofe
Version of the proof macros for LaTeX 2e
1997-05-02, by berghofe
This file is now replaced by proof.sty
1997-05-02, by berghofe
Higher bound means much faster proof
1997-05-02, by paulson
More tracing. hyp_subst_tac allowed to fail
1997-05-02, by paulson
New blast_tac call: made possible by bug fix involving equality substitution
1997-05-02, by paulson
No longer proves mutual_induct unless it is necessary.
1997-05-01, by paulson
Documented blast_tac
1997-04-30, by paulson
Automatic update
1997-04-30, by paulson
Indexing for trace_simp
1997-04-30, by paulson
No longer proves mutual induction rules unless they are needed
1997-04-30, by paulson
Fixed clasets so that blast_tac would work
1997-04-30, by paulson
Now modified for sml/nj 109.27
1997-04-30, by paulson
More tracing; less exception handling
1997-04-30, by paulson

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

isabelle