Wed, 05 Apr 2000 21:06:52 +0200 added NestedDatatype;
wenzelm [Wed, 05 Apr 2000 21:06:52 +0200] rev 8675
added NestedDatatype;
Wed, 05 Apr 2000 21:06:37 +0200 fixed goal selection;
wenzelm [Wed, 05 Apr 2000 21:06:37 +0200] rev 8674
fixed goal selection;
Wed, 05 Apr 2000 21:06:06 +0200 Isar: simplified (more robust) goal selection of proof methods;
wenzelm [Wed, 05 Apr 2000 21:06:06 +0200] rev 8673
Isar: simplified (more robust) goal selection of proof methods; Isar: tuned 'let' syntax: replace 'as' keyword by 'and';
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip