isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

Cosmetic improvements
1997-01-23, by paulson
'rm -f' instead of 'cp -f';
1997-01-23, by wenzelm
tuned;
1997-01-23, by wenzelm
expand shorthand goal commands;
1997-01-23, by wenzelm
added AxClasses test;
1997-01-23, by wenzelm
replaces README;
1997-01-23, by wenzelm
dummy file required for proper HTML generation;
1997-01-23, by wenzelm
removed;
1997-01-23, by wenzelm
removed \<mu> syntax;
1997-01-23, by wenzelm
added symbols syntax;
1997-01-23, by wenzelm
turned some consts into syntax;
1997-01-23, by wenzelm
Mended spelling error
1997-01-23, by paulson
Added sees_Spy_partsEs
1997-01-23, by paulson
Tidied proofs by using "etac rev_mp" instead of applying rev_mp to result()
1997-01-23, by paulson
Added warning msg when the simplifier cannot use a premise as a rewrite rule
1997-01-22, by nipkow
Modified MiniML. Added W0.
1997-01-21, by nipkow
Simplified proofs
1997-01-21, by paulson
Improved layout and updated comments
1997-01-21, by paulson
Improved text.
1997-01-20, by nipkow
Now requests runtimes of all theories
1997-01-20, by paulson
Simplified Oops case of main theorem
1997-01-20, by paulson
Documents the new command "prlim"
1997-01-20, by paulson
Added W0 and modified MiniML.
1997-01-17, by nipkow
Ball_Un -> ball_Un
1997-01-17, by nipkow
The new version of MiniML including "let".
1997-01-17, by nipkow
Algorithm I has not been ported to the polymorphic version yet.
1997-01-17, by nipkow
Updated documentation pointers.
1997-01-17, by nipkow
added gen_overwrite;
1997-01-17, by wenzelm
addsimps, addeqcongs: replaced @ by gen_union;
1997-01-17, by wenzelm
Incorporated Larry's changes.
1997-01-17, by nipkow

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

isabelle