Mon, 06 Nov 2000 16:43:01 +0100 paulson minor changes
Mon, 06 Nov 2000 16:41:39 +0100 paulson auto update
Mon, 06 Nov 2000 11:32:23 +0100 nipkow *** empty log message ***
Sat, 04 Nov 2000 18:54:22 +0100 wenzelm updated;
Sat, 04 Nov 2000 18:44:34 +0100 wenzelm tuned method "rule" and "default";
Sat, 04 Nov 2000 18:42:29 +0100 wenzelm isamarkup: handle % in input;
Sat, 04 Nov 2000 18:41:37 +0100 wenzelm tuned;
Sat, 04 Nov 2000 18:39:44 +0100 wenzelm misc stuff;
Fri, 03 Nov 2000 21:35:59 +0100 wenzelm tuned;
Fri, 03 Nov 2000 21:35:36 +0100 wenzelm proper setup of "parallel";
Fri, 03 Nov 2000 21:34:22 +0100 wenzelm tuned notation;
Fri, 03 Nov 2000 21:33:53 +0100 wenzelm adapted "obtain" proofs;
Fri, 03 Nov 2000 21:33:15 +0100 wenzelm provide case names for rev_induct, rev_cases;
Fri, 03 Nov 2000 21:32:41 +0100 wenzelm rev_exhaust: rulify;
Fri, 03 Nov 2000 21:31:53 +0100 wenzelm removed atomic_Trueprop (now in Pure/Isar/auto_bind.ML);
Fri, 03 Nov 2000 21:31:11 +0100 wenzelm "atomize" for classical tactics;
Fri, 03 Nov 2000 21:29:56 +0100 wenzelm atomize: all automated tactics that "solve" goals;
Fri, 03 Nov 2000 21:28:15 +0100 wenzelm fixed two obscurities of "fix": predeclare_terms;
Fri, 03 Nov 2000 21:27:36 +0100 wenzelm tuned names;
Fri, 03 Nov 2000 21:27:06 +0100 wenzelm improved handling of "that": insert into goal, only declare as Pure "intro";
Fri, 03 Nov 2000 21:26:11 +0100 wenzelm assumption / finish: handle non-atomic assumptions from context as well;
Fri, 03 Nov 2000 21:25:30 +0100 wenzelm added atomic_judgment;
Fri, 03 Nov 2000 21:25:10 +0100 wenzelm structure Obtain = Obtain;
Fri, 03 Nov 2000 18:33:57 +0100 paulson new lemma card_Diff2_less for mulilated chess board
Fri, 03 Nov 2000 17:57:00 +0100 nipkow *** empty log message ***
Fri, 03 Nov 2000 17:14:06 +0100 nipkow *** empty log message ***
Fri, 03 Nov 2000 16:53:39 +0100 nipkow *** empty log message ***
Fri, 03 Nov 2000 10:26:23 +0100 paulson the section command will belong to the new file
Fri, 03 Nov 2000 10:24:33 +0100 paulson advanced induction examples
Fri, 03 Nov 2000 10:24:06 +0100 paulson auto update?
Fri, 03 Nov 2000 10:23:24 +0100 paulson replaced Acc.thy by Advanced.thy
Thu, 02 Nov 2000 15:45:32 +0100 paulson no longer needed: too complicated an example
Thu, 02 Nov 2000 15:44:13 +0100 nipkow *** empty log message ***
Thu, 02 Nov 2000 11:00:29 +0100 paulson auto generated
Tue, 31 Oct 2000 20:33:10 +0100 wenzelm tuned goal output;
Tue, 31 Oct 2000 13:59:41 +0100 nipkow *** empty log message ***
Tue, 31 Oct 2000 08:53:12 +0100 nipkow *** empty log message ***
Mon, 30 Oct 2000 18:28:00 +0100 wenzelm updated;
Mon, 30 Oct 2000 18:26:14 +0100 wenzelm tuned goals output;
Mon, 30 Oct 2000 18:25:38 +0100 wenzelm improved statement bindings for props;
Mon, 30 Oct 2000 18:25:10 +0100 wenzelm converse: syntax \<inverse>;
Mon, 30 Oct 2000 18:24:42 +0100 wenzelm tuned;
Mon, 30 Oct 2000 18:24:20 +0100 wenzelm added ex/PER.thy;
Mon, 30 Oct 2000 18:23:34 +0100 wenzelm improved doc of "subgoals" antiquotation;
Mon, 30 Oct 2000 18:22:49 +0100 wenzelm replaced \isasymmacron by \isasyminverse;
Mon, 30 Oct 2000 18:22:20 +0100 wenzelm tuned tex template;
Mon, 30 Oct 2000 18:21:45 +0100 wenzelm Partial equivalence relations (leftover from HOL/Quot);
Mon, 30 Oct 2000 08:40:05 +0100 nipkow added antiq. subgoals
Mon, 30 Oct 2000 08:34:37 +0100 nipkow Added antiquotation "subgoals".
Mon, 30 Oct 2000 08:34:12 +0100 nipkow Mod because of additional parameters to pretty_goals.
Fri, 27 Oct 2000 16:25:21 +0200 wenzelm back to 1.167, due to Emacs/CVS casualty!!;
Fri, 27 Oct 2000 15:53:47 +0200 oheimb added instantiate_tac
Fri, 27 Oct 2000 15:23:39 +0200 wenzelm *** empty log message ***
Fri, 27 Oct 2000 15:11:49 +0200 kleing removed isabelle resources: are available from main pages
Fri, 27 Oct 2000 12:44:50 +0200 kleing cleanup, looks ok now with konqueror, too
Thu, 26 Oct 2000 14:59:38 +0200 nipkow *** empty log message ***
Thu, 26 Oct 2000 14:52:41 +0200 nipkow *** empty log message ***
Thu, 26 Oct 2000 11:27:48 +0200 paulson added the $Id:$ line
Thu, 26 Oct 2000 10:27:04 +0200 nipkow *** empty log message ***
Thu, 26 Oct 2000 09:15:59 +0200 nipkow *** empty log message ***
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip