Wed, 07 Jun 2000 12:18:51 +0200 wenzelm renamed mktags to maketags;
Wed, 07 Jun 2000 12:18:02 +0200 wenzelm generate TAGS file for Isabelle sources;
Wed, 07 Jun 2000 12:16:43 +0200 berghofe Removed cp / mkdir commands for graph browser files.
Wed, 07 Jun 2000 12:15:26 +0200 berghofe Exported system_command.
Wed, 07 Jun 2000 12:14:57 +0200 berghofe Removed codebase attribute from applet_pages.
Wed, 07 Jun 2000 12:14:29 +0200 berghofe Reorganized graph stuff.
Wed, 07 Jun 2000 12:14:18 +0200 paulson First round of changes, towards installation of simprocs
Wed, 07 Jun 2000 12:07:07 +0200 paulson Real/simproc.ML now removed
Wed, 07 Jun 2000 12:06:36 +0200 paulson tidied
Tue, 06 Jun 2000 20:32:10 +0200 wenzelm pair split: proper names of params;
Tue, 06 Jun 2000 20:31:43 +0200 wenzelm added rule_params;
Tue, 06 Jun 2000 20:31:22 +0200 wenzelm session.tex: nsert blank lines in order to guarantee new paragraphs
Sun, 04 Jun 2000 21:55:58 +0200 wenzelm opt_mixfix', opt_infix';
Sun, 04 Jun 2000 21:54:58 +0200 wenzelm do not setmp Library.timing;
Sun, 04 Jun 2000 19:39:29 +0200 wenzelm removed explicit terminator (";");
Sun, 04 Jun 2000 00:09:04 +0200 wenzelm removed method;
Sun, 04 Jun 2000 00:00:17 +0200 wenzelm improved terminator msg;
Sat, 03 Jun 2000 23:59:37 +0200 wenzelm block commands: marginal comment;
Sat, 03 Jun 2000 23:58:37 +0200 wenzelm fixed Thm.eq_thm: use Sign.joinable;
Sat, 03 Jun 2000 23:57:40 +0200 wenzelm 'next', '{', '}': comment;
Sat, 03 Jun 2000 23:57:04 +0200 wenzelm removed brace aliases;
Fri, 02 Jun 2000 20:38:28 +0200 oheimb added HOL/Prolog
Fri, 02 Jun 2000 18:32:04 +0200 paulson The Allocator Implementation (not yet working)
Fri, 02 Jun 2000 18:31:18 +0200 paulson lots of new results about sublist, bag_of
Fri, 02 Jun 2000 18:30:38 +0200 paulson new theorem increasing_constant
Fri, 02 Jun 2000 17:48:17 +0200 paulson new constant bag_of
Fri, 02 Jun 2000 17:47:41 +0200 oheimb added eta_contract_eq, also to simpset
Fri, 02 Jun 2000 17:47:03 +0200 oheimb added rtranclD, tranclD, irrefl_trancl_rD
Fri, 02 Jun 2000 17:47:02 +0200 paulson new theorems Always_Constrains_weaken and Always_Compl_Un_eq
Fri, 02 Jun 2000 17:46:32 +0200 oheimb added split_eta_SetCompr2 (also to simpset), generalized SetCompr_Sigma_eq
Fri, 02 Jun 2000 17:46:16 +0200 paulson new parent MultisetOrder and new results about multiset unions
Fri, 02 Jun 2000 17:45:32 +0200 oheimb added map_of_mapk_SomeI and weak_map_of_SomeI
Fri, 02 Jun 2000 17:42:43 +0200 paulson Many new theorems about multisets and their ordering, including basic
Fri, 02 Jun 2000 15:19:18 +0200 nipkow *** empty log message ***
Fri, 02 Jun 2000 12:44:04 +0200 oheimb added HOL/Prolog
Thu, 01 Jun 2000 13:28:00 +0200 paulson simplified the proof of nth_upt
Thu, 01 Jun 2000 11:22:27 +0200 fleuriot Updated files to remove 0r and 1r from theorems in descendant theories
Wed, 31 May 2000 18:06:02 +0200 kleing switched to Isar proofs
Wed, 31 May 2000 14:30:28 +0200 wenzelm Isar/Pure: removed obsolete 'transfer' attribute (transfer of thms to
Wed, 31 May 2000 14:29:42 +0200 wenzelm Toplevel.no_timing;
Wed, 31 May 2000 14:29:29 +0200 wenzelm transfer now automatic;
Wed, 31 May 2000 14:27:12 +0200 wenzelm removed 'transfer' att (is now automatic);
Wed, 31 May 2000 14:26:46 +0200 wenzelm get_thm(s): automatic transfer;
Wed, 31 May 2000 14:14:59 +0200 wenzelm tuned tactic emulation;
Wed, 31 May 2000 14:14:45 +0200 wenzelm removed 'transfer' att;
Wed, 31 May 2000 11:56:28 +0200 paulson moved some theorems to Finite.ML
Wed, 31 May 2000 11:55:51 +0200 paulson added new proofs and simplified an old one
Wed, 31 May 2000 11:55:21 +0200 paulson new theorems (some from Multiset)
Tue, 30 May 2000 18:02:49 +0200 berghofe the is now defined using primrec, avoiding explicit use of arbitrary.
Tue, 30 May 2000 16:08:38 +0200 wenzelm cleaned up;
Tue, 30 May 2000 16:03:09 +0200 wenzelm global timing flag;
Tue, 30 May 2000 16:02:56 +0200 wenzelm fixed comment;
Tue, 30 May 2000 16:02:27 +0200 wenzelm renamed trace/stat_norm_ast to trace/stat_ast;
Tue, 30 May 2000 16:01:29 +0200 wenzelm renamed Syntax.trace_norm_ast to Syntax.trace_ast;
Tue, 30 May 2000 16:00:55 +0200 wenzelm proof_timing replaced by global timing;
Tue, 30 May 2000 16:00:19 +0200 wenzelm * ML: renamed flags Syntax.trace_norm_ast to Syntax.trace_ast; global
Sun, 28 May 2000 21:58:29 +0200 wenzelm Collect_neg_eq;
Sun, 28 May 2000 21:57:40 +0200 wenzelm \newcommand{\indexisarcase};
Sun, 28 May 2000 21:55:50 +0200 wenzelm case 'antecedent';
Fri, 26 May 2000 18:28:15 +0200 wenzelm write major keywords;
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip