Wed, 19 Dec 2007 16:52:07 +0100 wenzelm marked refute (the main metis procedure) as CRITICAL;
Wed, 19 Dec 2007 16:32:16 +0100 schirmer more examples
Wed, 19 Dec 2007 16:32:14 +0100 schirmer accomodate to replacement of K_record by %x.c
Wed, 19 Dec 2007 16:32:12 +0100 schirmer replaced K_record by lambda term %x. c
Tue, 18 Dec 2007 22:21:42 +0100 wenzelm signature BASIC_MULTITHREADING;
Tue, 18 Dec 2007 22:21:41 +0100 wenzelm removed obsolete use_noncritical (plain use is already non-critical);
Tue, 18 Dec 2007 22:21:40 +0100 wenzelm serial: now based on specific version in structure Multithreading;
Tue, 18 Dec 2007 22:18:31 +0100 huffman add class ppo of pointed partial orders;
Tue, 18 Dec 2007 19:54:34 +0100 wenzelm named some critical sections;
Tue, 18 Dec 2007 19:54:33 +0100 wenzelm named some critical sections;
Tue, 18 Dec 2007 19:54:32 +0100 wenzelm use_text/use_file: non-critical (Poly/ML compiler is thread-safe);
Tue, 18 Dec 2007 19:54:31 +0100 wenzelm non-critical (accidental concurrent access does not affect functional integrity);
Tue, 18 Dec 2007 19:54:30 +0100 wenzelm PrintMode.setmp (avoid direct access to print_mode ref);
Tue, 18 Dec 2007 19:15:31 +0100 huffman rearrange into subsections
Tue, 18 Dec 2007 18:39:00 +0100 paulson Skolemization now catches exception THM, which may be raised if unification fails.
Tue, 18 Dec 2007 17:37:25 +0100 paulson Deleted redundant setmp calls
Tue, 18 Dec 2007 16:26:46 +0100 wenzelm tuned proofs, document;
Tue, 18 Dec 2007 14:37:00 +0100 haftmann switched from PreList to ATP_Linkup
Tue, 18 Dec 2007 12:26:24 +0100 berghofe Renamed *.size to prod.size.
Tue, 18 Dec 2007 12:26:00 +0100 berghofe Alternative names are now also used when storing theorems for
Tue, 18 Dec 2007 11:45:08 +0100 krauss temporarily fixed documentation due to changed size functions
Tue, 18 Dec 2007 00:17:00 +0100 wenzelm split_primel: salvaged original proof after blow with sledghammer
Mon, 17 Dec 2007 23:33:00 +0100 wenzelm cond_timeit: added message argument, use Exn.capture/release;
Mon, 17 Dec 2007 23:26:27 +0100 wenzelm cond_timeit: added message argument;
Mon, 17 Dec 2007 22:40:14 +0100 haftmann note in target
Mon, 17 Dec 2007 22:40:13 +0100 haftmann maior tuning
Mon, 17 Dec 2007 22:40:12 +0100 haftmann tuned
Mon, 17 Dec 2007 18:39:18 +0100 berghofe Added foldl1.
Mon, 17 Dec 2007 18:38:28 +0100 berghofe Adapted to changes in size function.
Mon, 17 Dec 2007 18:37:49 +0100 berghofe size functions for nested datatypes are now expressed using
Mon, 17 Dec 2007 18:32:56 +0100 berghofe Adapted to changes in interface of indtac.
Mon, 17 Dec 2007 18:31:52 +0100 berghofe - Removed redundant head_len field in datatype_info
Mon, 17 Dec 2007 18:30:44 +0100 berghofe - Removed redundant head_len field in datatype_info
Mon, 17 Dec 2007 18:27:48 +0100 paulson tidied some messy proofs
Mon, 17 Dec 2007 18:24:44 +0100 berghofe Deleted copy of indtac.
Mon, 17 Dec 2007 18:23:50 +0100 berghofe Added code lemma for message_string_size.
Mon, 17 Dec 2007 18:22:48 +0100 berghofe Removed obsolete lemma size_sum.
Mon, 17 Dec 2007 18:11:21 +0100 paulson fixed ancestors
Mon, 17 Dec 2007 18:01:51 +0100 haftmann whitespace typo
Mon, 17 Dec 2007 17:57:52 +0100 haftmann explicit closing of derived witnesses
Mon, 17 Dec 2007 17:57:51 +0100 haftmann closed rules
Mon, 17 Dec 2007 17:57:50 +0100 haftmann improved semantics of timeapp_msg
Mon, 17 Dec 2007 17:57:48 +0100 haftmann improved term syntax
Mon, 17 Dec 2007 17:01:54 +0100 nipkow removed legacy proofs
Mon, 17 Dec 2007 11:11:43 +0100 krauss spread NEWS about "induction_scheme" method
Sun, 16 Dec 2007 22:37:55 +0100 kleing settings for cvs version of poly
Sun, 16 Dec 2007 13:09:37 +0100 wenzelm tuned comments;
Sun, 16 Dec 2007 13:05:53 +0100 wenzelm constructor: allow default logic;
Sun, 16 Dec 2007 13:05:07 +0100 wenzelm constructor: allow default logic;
Sat, 15 Dec 2007 23:55:33 +0100 wenzelm tuned whitespace;
Sat, 15 Dec 2007 23:54:59 +0100 wenzelm compose command line according to isabelle.shell/home system properties;
Sat, 15 Dec 2007 23:54:10 +0100 wenzelm tuned comments;
Sat, 15 Dec 2007 23:48:45 +0100 wenzelm addClassPath;
Sat, 15 Dec 2007 22:03:46 +0100 wenzelm added example session with Beanshell;
Sat, 15 Dec 2007 22:03:24 +0100 wenzelm ExitThread: deliver message before EXIT;
Sat, 15 Dec 2007 21:52:49 +0100 wenzelm tuned;
Sat, 15 Dec 2007 21:26:14 +0100 wenzelm tuned;
Sat, 15 Dec 2007 21:24:14 +0100 wenzelm * isatool browser now works with Cygwin;
Sat, 15 Dec 2007 21:17:48 +0100 wenzelm added javapath (for cygwin);
Sat, 15 Dec 2007 20:10:26 +0100 wenzelm ExitThread: sleep(300) before delivering EXIT message;
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip