Sat, 12 Apr 1997 20:00:11 +0200 Setup GNU Emacs for Isabelle environment.
wenzelm [Sat, 12 Apr 1997 20:00:11 +0200] rev 2938
Setup GNU Emacs for Isabelle environment.
Sat, 12 Apr 1997 19:59:44 +0200 tuned;
wenzelm [Sat, 12 Apr 1997 19:59:44 +0200] rev 2937
tuned;
Fri, 11 Apr 1997 17:30:15 +0200 fixed { ... } shell syntax to accomodate bash 2.x;
wenzelm [Fri, 11 Apr 1997 17:30:15 +0200] rev 2936
fixed { ... } shell syntax to accomodate bash 2.x;
Fri, 11 Apr 1997 15:21:36 +0200 Yet more fast_tac->blast_tac, and other tidying
paulson [Fri, 11 Apr 1997 15:21:36 +0200] rev 2935
Yet more fast_tac->blast_tac, and other tidying
Fri, 11 Apr 1997 11:33:51 +0200 tuned error msg;
wenzelm [Fri, 11 Apr 1997 11:33:51 +0200] rev 2934
tuned error msg;
Thu, 10 Apr 1997 18:07:27 +0200 Updated discussion and references for inductive definitions
paulson [Thu, 10 Apr 1997 18:07:27 +0200] rev 2933
Updated discussion and references for inductive definitions
Thu, 10 Apr 1997 14:26:01 +0200 Deleted stupid proof at the end not needed anywhere.
nipkow [Thu, 10 Apr 1997 14:26:01 +0200] rev 2932
Deleted stupid proof at the end not needed anywhere.
Thu, 10 Apr 1997 12:21:21 +0200 Mod because of "Turned Addsimps into AddIffs for datatype laws."
nipkow [Thu, 10 Apr 1997 12:21:21 +0200] rev 2931
Mod because of "Turned Addsimps into AddIffs for datatype laws."
Thu, 10 Apr 1997 12:20:55 +0200 Turned Addsimps into AddIffs for datatype laws.
nipkow [Thu, 10 Apr 1997 12:20:55 +0200] rev 2930
Turned Addsimps into AddIffs for datatype laws.
Thu, 10 Apr 1997 10:55:37 +0200 Changed some fast_tac to blast_tac
paulson [Thu, 10 Apr 1997 10:55:37 +0200] rev 2929
Changed some fast_tac to blast_tac
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip