isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

tuned;
1997-04-12, by wenzelm
fixed { ... } shell syntax to accomodate bash 2.x;
1997-04-11, by wenzelm
Yet more fast_tac->blast_tac, and other tidying
1997-04-11, by paulson
tuned error msg;
1997-04-11, by wenzelm
Updated discussion and references for inductive definitions
1997-04-10, by paulson
Deleted stupid proof at the end not needed anywhere.
1997-04-10, by nipkow
Mod because of "Turned Addsimps into AddIffs for datatype laws."
1997-04-10, by nipkow
Turned Addsimps into AddIffs for datatype laws.
1997-04-10, by nipkow
Changed some fast_tac to blast_tac
1997-04-10, by paulson
Added trace output and replaced fast_tac set_cs by Fast_tac.
1997-04-10, by nipkow
replaced 'addwrapper' and 'addWrapper' by correct 'compwrapper' and 'compWrapper'
1997-04-09, by oheimb
Thorough update.
1997-04-09, by nipkow
Using Blast_tac
1997-04-09, by paulson
Control over excessive branching by applying a log2 penalty
1997-04-09, by paulson
Explicit depth bounds seem necessary
1997-04-09, by paulson
Using Blast_tac
1997-04-09, by paulson
Dependency on Provers/nat_transitive
1997-04-09, by paulson
Couldn't solve n < n+1 because of missing -1
1997-04-08, by nipkow
Dep. on Provers/nat_transitive
1997-04-08, by nipkow
added -t (run tests) option;
1997-04-07, by wenzelm
added -g, -h options;
1997-04-04, by wenzelm
tuned xdvi invocation;
1997-04-04, by wenzelm
replaced ISABELLE_HTML by ISABELLE_USEDIR_OPTIONS;
1997-04-04, by wenzelm
improved messages;
1997-04-04, by wenzelm
fixed diagnostic output of print modes;
1997-04-04, by wenzelm
moved inj and surj from Set to Fun and Inv -> inv.
1997-04-04, by nipkow
Inv -> inv
1997-04-04, by nipkow
*** empty log message ***
1997-04-04, by slotosch

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

isabelle