wenzelm [Fri, 03 Nov 2000 21:25:30 +0100] rev 10377
added atomic_judgment;
wenzelm [Fri, 03 Nov 2000 21:25:10 +0100] rev 10376
structure Obtain = Obtain;
paulson [Fri, 03 Nov 2000 18:33:57 +0100] rev 10375
new lemma card_Diff2_less for mulilated chess board
nipkow [Fri, 03 Nov 2000 17:57:00 +0100] rev 10374
*** empty log message ***
nipkow [Fri, 03 Nov 2000 17:14:06 +0100] rev 10373
*** empty log message ***
nipkow [Fri, 03 Nov 2000 16:53:39 +0100] rev 10372
*** empty log message ***
paulson [Fri, 03 Nov 2000 10:26:23 +0100] rev 10371
the section command will belong to the new file
paulson [Fri, 03 Nov 2000 10:24:33 +0100] rev 10370
advanced induction examples
paulson [Fri, 03 Nov 2000 10:24:06 +0100] rev 10369
auto update?
paulson [Fri, 03 Nov 2000 10:23:24 +0100] rev 10368
replaced Acc.thy by Advanced.thy
paulson [Thu, 02 Nov 2000 15:45:32 +0100] rev 10367
no longer needed: too complicated an example
nipkow [Thu, 02 Nov 2000 15:44:13 +0100] rev 10366
*** empty log message ***
paulson [Thu, 02 Nov 2000 11:00:29 +0100] rev 10365
auto generated
wenzelm [Tue, 31 Oct 2000 20:33:10 +0100] rev 10364
tuned goal output;
nipkow [Tue, 31 Oct 2000 13:59:41 +0100] rev 10363
*** empty log message ***
nipkow [Tue, 31 Oct 2000 08:53:12 +0100] rev 10362
*** empty log message ***
wenzelm [Mon, 30 Oct 2000 18:28:00 +0100] rev 10361
updated;
wenzelm [Mon, 30 Oct 2000 18:26:14 +0100] rev 10360
tuned goals output;
wenzelm [Mon, 30 Oct 2000 18:25:38 +0100] rev 10359
improved statement bindings for props;
tuned;
wenzelm [Mon, 30 Oct 2000 18:25:10 +0100] rev 10358
converse: syntax \<inverse>;
wenzelm [Mon, 30 Oct 2000 18:24:42 +0100] rev 10357
tuned;
wenzelm [Mon, 30 Oct 2000 18:24:20 +0100] rev 10356
added ex/PER.thy;
wenzelm [Mon, 30 Oct 2000 18:23:34 +0100] rev 10355
improved doc of "subgoals" antiquotation;
wenzelm [Mon, 30 Oct 2000 18:22:49 +0100] rev 10354
replaced \isasymmacron by \isasyminverse;
wenzelm [Mon, 30 Oct 2000 18:22:20 +0100] rev 10353
tuned tex template;
wenzelm [Mon, 30 Oct 2000 18:21:45 +0100] rev 10352
Partial equivalence relations (leftover from HOL/Quot);
nipkow [Mon, 30 Oct 2000 08:40:05 +0100] rev 10351
added antiq. subgoals
nipkow [Mon, 30 Oct 2000 08:34:37 +0100] rev 10350
Added antiquotation "subgoals".
nipkow [Mon, 30 Oct 2000 08:34:12 +0100] rev 10349
Mod because of additional parameters to pretty_goals.
wenzelm [Fri, 27 Oct 2000 16:25:21 +0200] rev 10348
back to 1.167, due to Emacs/CVS casualty!!;