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

configure AUTO_BASH, AUTO_PERL;
1999-01-12, by wenzelm
Some simplifications.
1999-01-11, by nipkow
More arith simplifications
1999-01-11, by nipkow
More arith simplifications.
1999-01-11, by nipkow
more robust heap file detection;
1999-01-11, by wenzelm
tuned, updated;
1999-01-11, by wenzelm
tidying, e.g. from \\tt to \\texttt
1999-01-11, by paulson
Remoaved a few now redundant rewrite rules.
1999-01-09, by nipkow
Added simproc.
1999-01-09, by nipkow
Refined arith tactic.
1999-01-09, by nipkow
removal of FOL, ZF to a separate manual
1999-01-08, by paulson
removal of DO_GOAL
1999-01-08, by paulson
ZF: the natural numbers as a datatype
1999-01-07, by paulson
if-then-else syntax for ZF
1999-01-07, by paulson
if-then-else syntax for ZF
1999-01-07, by paulson
fixed commit spec;
1999-01-06, by wenzelm
Simplified proof.
1999-01-06, by nipkow
induct_tac and exhaust_tac
1999-01-06, by paulson
primrec, induct_tac
1999-01-06, by paulson
*** empty log message ***
1999-01-05, by nipkow
Small mods.
1999-01-05, by nipkow
1 proof now automatic.
1999-01-05, by nipkow
Instantiated lin.arith.
1999-01-05, by nipkow
In Main: moved Bin to the left to preserve the solver in its simpset.
1999-01-05, by nipkow
Shortened a proof.
1999-01-04, by nipkow
*** empty log message ***
1999-01-04, by nipkow
Version 1 of linear arithmetic for nat.
1999-01-04, by nipkow
Version 1.0 of linear nat arithmetic.
1999-01-04, by nipkow
added new arg for print_tac
1998-12-28, by paulson
new inductive, datatype and primrec packages, etc.
1998-12-28, by paulson

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

isabelle