Fri, 09 Jun 2000 10:26:21 +0200 wenzelm * browser info session directories are now self-contained (may be put
Thu, 08 Jun 2000 21:53:44 +0200 wenzelm prf_open/close;
Wed, 07 Jun 2000 17:14:58 +0200 paulson replacing 0hr by (0::hypreal)
Wed, 07 Jun 2000 17:14:19 +0200 kleing minor tuning for pdf documents
Wed, 07 Jun 2000 17:14:04 +0200 paulson tidied
Wed, 07 Jun 2000 14:20:16 +0200 wenzelm provide TAGS file for Isabelle sources;
Wed, 07 Jun 2000 14:19:48 +0200 wenzelm string syntax: allow \\ \" \\n only;
Wed, 07 Jun 2000 14:19:10 +0200 wenzelm update_thy_only: setmp Thm.trace_simp false;
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;
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip