Wed, 14 Jun 2000 18:24:41 +0200 paulson tidied
Wed, 14 Jun 2000 18:23:51 +0200 paulson full_rename_numerals -> rename_numerals; tidied
Wed, 14 Jun 2000 18:21:25 +0200 paulson a big tidy-up
Wed, 14 Jun 2000 18:19:20 +0200 paulson installing the cancel_numerals and combine_numerals simprocs
Wed, 14 Jun 2000 18:00:46 +0200 wenzelm tuned tappl syntax;
Wed, 14 Jun 2000 17:59:53 +0200 wenzelm theorems [cases type: bool] = case_split;
Wed, 14 Jun 2000 17:47:18 +0200 paulson full_rename_numerals -> rename_numerals; tidied
Wed, 14 Jun 2000 17:46:10 +0200 paulson tidied a proof using new lemmas for signs of products
Wed, 14 Jun 2000 17:45:01 +0200 paulson new lemmas for signs of products
Wed, 14 Jun 2000 17:44:43 +0200 paulson new default simprules for m*n = 0
Tue, 13 Jun 2000 18:36:06 +0200 wenzelm tuned;
Tue, 13 Jun 2000 18:34:59 +0200 wenzelm rename @case to _case_syntax (improves on low-level errors);
Tue, 13 Jun 2000 18:33:55 +0200 wenzelm updated;
Tue, 13 Jun 2000 18:33:34 +0200 wenzelm qed_spec_mp: strip_shyps_warning;
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
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip