Wed, 15 Mar 2000 18:50:48 +0100 wenzelm ## -D document;
Wed, 15 Mar 2000 18:50:14 +0100 wenzelm renamed isabelle env;
Wed, 15 Mar 2000 18:47:28 +0100 wenzelm splitter setup;
Wed, 15 Mar 2000 18:42:54 +0100 wenzelm clasimp: include Splitter;
Wed, 15 Mar 2000 18:42:13 +0100 wenzelm splitter setup;
Wed, 15 Mar 2000 18:41:00 +0100 wenzelm tuned comments;
Wed, 15 Mar 2000 18:40:03 +0100 wenzelm include Splitter.split_modifiers;
Wed, 15 Mar 2000 18:38:52 +0100 wenzelm added attributes, method modifiers, theory setup;
Wed, 15 Mar 2000 18:36:53 +0100 wenzelm export change_global_ss, change_local_ss;
Wed, 15 Mar 2000 18:33:41 +0100 wenzelm removed export_chain;
Wed, 15 Mar 2000 18:32:41 +0100 wenzelm eliminated toplevel stack;
Wed, 15 Mar 2000 18:30:45 +0100 wenzelm 'pr': modes, optional limit;
Wed, 15 Mar 2000 18:29:32 +0100 wenzelm pr: modes, optional limit;
Wed, 15 Mar 2000 18:26:53 +0100 wenzelm pretty chunks;
Wed, 15 Mar 2000 18:25:42 +0100 wenzelm tuned comment;
Wed, 15 Mar 2000 18:24:27 +0100 wenzelm tuned comments;
Wed, 15 Mar 2000 18:22:39 +0100 wenzelm added pretty_goals(_marker);
Wed, 15 Mar 2000 18:20:52 +0100 wenzelm removed Pretty.spc;
Wed, 15 Mar 2000 18:19:06 +0100 wenzelm use Pretty.str / Pretty.raw_str;
Wed, 15 Mar 2000 18:18:12 +0100 wenzelm removed lst, strlen, strlen_real, spc, sym;
Wed, 15 Mar 2000 12:05:03 +0100 kleing made links to homepages absolute, avoids trouble with relative links on the
Tue, 14 Mar 2000 22:58:59 +0100 wenzelm 'undo' prints state (again);
Tue, 14 Mar 2000 22:58:20 +0100 wenzelm pr, disable_pr, enable_pr;
Tue, 14 Mar 2000 22:57:54 +0100 wenzelm silence undo command;
Tue, 14 Mar 2000 11:33:30 +0100 wenzelm tuned comments;
Tue, 14 Mar 2000 11:33:14 +0100 wenzelm invoke_case: include attributes;
Tue, 14 Mar 2000 11:32:38 +0100 wenzelm 'cases' and 'induct' methods;
Tue, 14 Mar 2000 11:31:45 +0100 wenzelm tuned 'case';
Tue, 14 Mar 2000 11:31:04 +0100 wenzelm added 'case' command;
Tue, 14 Mar 2000 11:27:38 +0100 wenzelm added \NEXT;
Mon, 13 Mar 2000 23:01:09 +0100 wenzelm proper symbol_output for "xsymbols" mode;
Mon, 13 Mar 2000 16:24:52 +0100 wenzelm replaced exhaust_tac by case_tac;
Mon, 13 Mar 2000 16:24:23 +0100 wenzelm renamed cases_tac to case_tac;
Mon, 13 Mar 2000 16:23:34 +0100 wenzelm case_tac now subsumes both boolean and datatype cases;
Mon, 13 Mar 2000 15:42:19 +0100 wenzelm use cases;
Mon, 13 Mar 2000 13:34:09 +0100 wenzelm * HOL: exhaust_tac on datatypes superceded by new case_tac;
Mon, 13 Mar 2000 13:30:49 +0100 wenzelm renamed cases_tac to case_tac;
Mon, 13 Mar 2000 13:28:31 +0100 wenzelm adapted to new PureThy.add_thms etc.;
Mon, 13 Mar 2000 13:27:44 +0100 wenzelm removed cases_of;
Mon, 13 Mar 2000 13:24:12 +0100 wenzelm adapted to new PureThy.add_thms etc.;
Mon, 13 Mar 2000 13:22:31 +0100 wenzelm adapted to new PureThy.add_thms etc.;
Mon, 13 Mar 2000 13:21:39 +0100 wenzelm use HOLogic.Not;
Mon, 13 Mar 2000 13:20:51 +0100 wenzelm adapted to new PureThy.add_thms etc.;
Mon, 13 Mar 2000 13:20:13 +0100 wenzelm adapted to new PureThy.add_thms etc.;
Mon, 13 Mar 2000 13:19:14 +0100 wenzelm export vars_of;
Mon, 13 Mar 2000 13:18:59 +0100 wenzelm adapted to new PureThy.add_thms etc.;
Mon, 13 Mar 2000 13:17:52 +0100 wenzelm added Not;
Mon, 13 Mar 2000 13:16:57 +0100 wenzelm adapted to new PureThy.add_thms etc.;
Mon, 13 Mar 2000 13:16:43 +0100 wenzelm tuned;
Mon, 13 Mar 2000 13:16:26 +0100 wenzelm cases: preserve order;
Mon, 13 Mar 2000 13:13:46 +0100 nipkow *** empty log message ***
Mon, 13 Mar 2000 13:11:16 +0100 nipkow exhaust -> cases
Mon, 13 Mar 2000 12:51:10 +0100 nipkow exhaust_tac -> cases_tac
Mon, 13 Mar 2000 12:42:41 +0100 paulson renamed "f" to "le" and "mset" to "multiset"
Mon, 13 Mar 2000 12:42:05 +0100 paulson fixed the goal statement of sorted_qsort
Mon, 13 Mar 2000 12:25:52 +0100 wenzelm adapted to new PureThy.add_thms etc.;
Mon, 13 Mar 2000 12:25:16 +0100 wenzelm add_thms, add_axioms, add_defs: return theorems as well;
Mon, 13 Mar 2000 12:23:44 +0100 wenzelm added |>> and |>>>;
Mon, 13 Mar 2000 09:08:27 +0100 nipkow exhaust->cases
Fri, 10 Mar 2000 23:04:07 +0100 berghofe Type.typ_match now uses Vartab instead of association lists.
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip