Fri, 03 Sep 1999 17:52:13 +0200 wenzelm usage: tell current OPTIONS value;
Fri, 03 Sep 1999 16:11:53 +0200 wenzelm updated;
Fri, 03 Sep 1999 16:11:03 +0200 wenzelm fixed usepackage;
Fri, 03 Sep 1999 16:10:39 +0200 wenzelm permuted index;
Fri, 03 Sep 1999 16:10:27 +0200 wenzelm \PROP;
Fri, 03 Sep 1999 14:54:08 +0200 wenzelm no_qed;
Fri, 03 Sep 1999 14:53:55 +0200 wenzelm no_qed;
Fri, 03 Sep 1999 14:52:19 +0200 wenzelm "this";
Fri, 03 Sep 1999 14:52:01 +0200 wenzelm tuned;
Fri, 03 Sep 1999 14:23:15 +0200 wenzelm added bind_thms;
Fri, 03 Sep 1999 14:22:27 +0200 wenzelm tuned K;
Fri, 03 Sep 1999 14:22:12 +0200 wenzelm tuned;
Fri, 03 Sep 1999 14:21:59 +0200 wenzelm from hyp;
Fri, 03 Sep 1999 13:55:46 +0200 wenzelm added no_qed;
Fri, 03 Sep 1999 10:14:28 +0200 paulson new theorem fun_upd_upd
Fri, 03 Sep 1999 10:12:42 +0200 paulson new SVC url
Thu, 02 Sep 1999 15:25:19 +0200 wenzelm renamed NatSum to Summation;
Thu, 02 Sep 1999 15:24:56 +0200 wenzelm tidied;
Thu, 02 Sep 1999 15:24:31 +0200 wenzelm AddXDs [bspec];
Thu, 02 Sep 1999 15:24:00 +0200 wenzelm added with_path;
Thu, 02 Sep 1999 15:23:05 +0200 wenzelm terminal method: always involve finish;
Thu, 02 Sep 1999 15:22:15 +0200 wenzelm with_path;
Thu, 02 Sep 1999 15:21:36 +0200 wenzelm renamed improper method 'clarsimp' to 'clarsimp_tac';
Wed, 01 Sep 1999 21:46:01 +0200 wenzelm added MultisetOrder.thy;
Wed, 01 Sep 1999 21:45:48 +0200 wenzelm Isar_examples/MultisetOrder.thy;
Wed, 01 Sep 1999 21:35:39 +0200 wenzelm tuned;
Wed, 01 Sep 1999 21:35:20 +0200 wenzelm "this";
Wed, 01 Sep 1999 21:35:04 +0200 wenzelm Wellfoundedness proof for the multiset order (preliminary version).
Wed, 01 Sep 1999 21:28:56 +0200 wenzelm fix: vars;
Wed, 01 Sep 1999 21:28:42 +0200 wenzelm removed "*" method combinator;
Wed, 01 Sep 1999 21:26:26 +0200 wenzelm observe show_types;
Wed, 01 Sep 1999 21:25:55 +0200 wenzelm bind_thms;
Wed, 01 Sep 1999 21:25:17 +0200 wenzelm bind_thm "case";
Wed, 01 Sep 1999 21:24:50 +0200 wenzelm *: no quotes;
Wed, 01 Sep 1999 21:24:23 +0200 wenzelm Method.insert_tac;
Wed, 01 Sep 1999 21:22:56 +0200 wenzelm Method.insert_tac;
Wed, 01 Sep 1999 21:22:38 +0200 wenzelm Method.insert_tac;
Wed, 01 Sep 1999 21:21:22 +0200 wenzelm bind_thm;
Wed, 01 Sep 1999 21:21:01 +0200 wenzelm added bind_thms, store_thms;
Wed, 01 Sep 1999 21:20:04 +0200 wenzelm structures Vartab / Termtab (instances of TableFun);
Wed, 01 Sep 1999 21:19:37 +0200 wenzelm tuned;
Wed, 01 Sep 1999 21:17:37 +0200 wenzelm any_props: improved error;
Wed, 01 Sep 1999 21:17:03 +0200 wenzelm fix: common constraints;
Wed, 01 Sep 1999 21:16:23 +0200 wenzelm Thm.def_name;
Wed, 01 Sep 1999 21:15:52 +0200 wenzelm replaced IsarCmd.kill_theory by Toplevel.kill;
Wed, 01 Sep 1999 21:14:23 +0200 wenzelm calculation: thm list;
Wed, 01 Sep 1999 21:13:12 +0200 wenzelm removed kill_theory;
Wed, 01 Sep 1999 21:11:44 +0200 wenzelm removed the_fact;
Wed, 01 Sep 1999 21:10:05 +0200 wenzelm fix: common constraints;
Wed, 01 Sep 1999 21:09:10 +0200 wenzelm added store/bind_thms;
Wed, 01 Sep 1999 21:06:57 +0200 wenzelm added theorems;
Wed, 01 Sep 1999 21:06:27 +0200 wenzelm added theorems;
Wed, 01 Sep 1999 21:05:48 +0200 wenzelm isar: avoid verbose goal responses;
Wed, 01 Sep 1999 21:05:19 +0200 wenzelm structure Termtab;
Wed, 01 Sep 1999 21:04:59 +0200 wenzelm smart_store_thms;
Wed, 01 Sep 1999 21:04:01 +0200 wenzelm PureThy.smart_store_thms;
Wed, 01 Sep 1999 11:16:02 +0200 paulson tidied some proofs
Wed, 01 Sep 1999 11:15:35 +0200 paulson tidied
Tue, 31 Aug 1999 16:04:43 +0200 paulson tidied
Tue, 31 Aug 1999 15:58:38 +0200 paulson new files HOL/UNITY/Guar.{thy,ML}: theory file gets the instance declaration
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip