Sat, 04 Sep 1999 21:05:25 +0200 wenzelm Library.equal_lists;
Sat, 04 Sep 1999 21:05:01 +0200 wenzelm removed Syntax.binding;
Sat, 04 Sep 1999 21:04:30 +0200 wenzelm removed "_BIND" translation;
Sat, 04 Sep 1999 21:04:07 +0200 wenzelm removed binding;
Sat, 04 Sep 1999 21:02:55 +0200 wenzelm removed "_BIND" syntax;
Sat, 04 Sep 1999 21:02:19 +0200 wenzelm eliminated default_name (thms no longer stored for name "");
Sat, 04 Sep 1999 21:01:18 +0200 wenzelm ProtoPure: fake empty scope;
Sat, 04 Sep 1999 21:00:20 +0200 wenzelm equal_lists: ('a * 'b -> bool) -> 'a list * 'b list -> bool;
Sat, 04 Sep 1999 20:59:33 +0200 wenzelm handle Bind!!
Sat, 04 Sep 1999 20:57:32 +0200 wenzelm updated;
Sat, 04 Sep 1999 20:55:52 +0200 wenzelm added \indexisarvar;
Sat, 04 Sep 1999 20:55:26 +0200 wenzelm removed \VVar;
Fri, 03 Sep 1999 18:30:14 +0200 wenzelm usage: tell OPTIONS;
Fri, 03 Sep 1999 18:17:51 +0200 wenzelm added welcome;
Fri, 03 Sep 1999 18:16:54 +0200 wenzelm usage: tell ISABELLE_USEDIR_OPTIONS;
Fri, 03 Sep 1999 18:16:02 +0200 wenzelm tuned;
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;
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip