Mon, 14 Jan 2008 03:54:31 +0100 huffman add lemma contI2
Mon, 14 Jan 2008 03:49:53 +0100 huffman converted adm_all and adm_ball to rule_format; cleaned up
Sun, 13 Jan 2008 11:54:36 +0100 berghofe Equations for constants without arguments are now declared using
Thu, 10 Jan 2008 20:53:06 +0100 huffman new theory defining set as a pcpo
Thu, 10 Jan 2008 19:28:02 +0100 berghofe Test data generation and conversion to terms are now more closely
Thu, 10 Jan 2008 19:25:08 +0100 berghofe New example involving functions.
Thu, 10 Jan 2008 19:24:23 +0100 berghofe Now uses more carefully designed simpsets to prevent proofs from
Thu, 10 Jan 2008 19:21:56 +0100 berghofe Test data generation and conversion to terms is now more closely
Thu, 10 Jan 2008 19:18:14 +0100 berghofe Eliminated DatatypeAux.dest_TFree to avoid clashes
Thu, 10 Jan 2008 19:10:37 +0100 berghofe Added nil_const and cons_const.
Thu, 10 Jan 2008 19:10:08 +0100 berghofe Added test data generator for function type (from Pure/codegen.ML).
Thu, 10 Jan 2008 19:09:21 +0100 berghofe New interface for test data generators.
Thu, 10 Jan 2008 17:06:41 +0100 huffman declare ch2ch_LAM [simp]
Thu, 10 Jan 2008 08:21:03 +0100 haftmann added overloading target
Thu, 10 Jan 2008 05:43:20 +0100 huffman new compactness lemmas; removed duplicated flat_less_iff
Thu, 10 Jan 2008 05:37:18 +0100 huffman Compactness subsection with new lemmas
Thu, 10 Jan 2008 05:36:03 +0100 huffman Compactness subsection with some new lemmas
Thu, 10 Jan 2008 05:15:43 +0100 huffman new compactness lemmas
Thu, 10 Jan 2008 05:11:09 +0100 huffman new lemmas max_in_chainI, max_in_chainD
Wed, 09 Jan 2008 20:25:18 +0100 haftmann overloading target
Wed, 09 Jan 2008 19:24:15 +0100 nipkow tuned
Wed, 09 Jan 2008 19:23:50 +0100 nipkow added simp attributes/ proofs fixed
Wed, 09 Jan 2008 19:23:36 +0100 nipkow added simp attributes
Wed, 09 Jan 2008 10:56:35 +0100 nipkow Finally: no more unproven.
Wed, 09 Jan 2008 08:57:12 +0100 haftmann tuned
Wed, 09 Jan 2008 08:33:01 +0100 haftmann some more primrec
Wed, 09 Jan 2008 08:32:09 +0100 haftmann tuned
Wed, 09 Jan 2008 08:04:40 +0100 haftmann a note on syntax in class context
Wed, 09 Jan 2008 08:04:03 +0100 haftmann a note on syntax
Tue, 08 Jan 2008 23:11:08 +0100 urbanc tuned proofs
Tue, 08 Jan 2008 11:37:37 +0100 haftmann normalization conversion
Tue, 08 Jan 2008 11:37:32 +0100 haftmann tuned comment
Tue, 08 Jan 2008 11:37:30 +0100 haftmann explicit type variables for instantiation
Tue, 08 Jan 2008 11:37:29 +0100 haftmann better error reporting
Tue, 08 Jan 2008 11:37:28 +0100 haftmann tuned
Tue, 08 Jan 2008 11:37:27 +0100 haftmann refined overloading target
Tue, 08 Jan 2008 10:24:34 +0100 berghofe imp_conv_disj is now declared as a "code unfold" lemma to avoid that
Mon, 07 Jan 2008 11:40:20 +0100 wenzelm isabelle.jars: temporarily disabled, until isatest gets up-to-date java;
Mon, 07 Jan 2008 02:24:24 +0100 urbanc some pre-release tunings
Sun, 06 Jan 2008 19:18:01 +0100 wenzelm more robust console thread (cf. jedit plugin version);
Sun, 06 Jan 2008 18:09:34 +0100 wenzelm build Isabelle process wrapper;
Sun, 06 Jan 2008 18:04:09 +0100 wenzelm * Rudimentary Isabelle plugin for jEdit;
Sun, 06 Jan 2008 17:11:11 +0100 wenzelm added plugin installation;
Sun, 06 Jan 2008 17:01:45 +0100 wenzelm tuned;
Sun, 06 Jan 2008 16:59:42 +0100 wenzelm purge build directory;
Sun, 06 Jan 2008 16:57:25 +0100 wenzelm basic setup for Isabelle/jEdit plugin;
Sun, 06 Jan 2008 16:36:29 +0100 wenzelm added interface for command-line option;
Sun, 06 Jan 2008 15:57:57 +0100 wenzelm removed obsolete prompt and channel markups;
Sun, 06 Jan 2008 15:57:56 +0100 wenzelm replaced prompt markup by prompt channel setup;
Sun, 06 Jan 2008 15:57:54 +0100 wenzelm removed obsolete prompt markup;
Sun, 06 Jan 2008 15:57:52 +0100 wenzelm removed unused of_stream;
Sun, 06 Jan 2008 15:57:51 +0100 wenzelm added explicit prompt channel (prompt_fn/prompt);
Sun, 06 Jan 2008 15:57:49 +0100 wenzelm removed obsolete prompt and channel markups;
Sat, 05 Jan 2008 23:05:29 +0100 chaieb Tuned relevant premises selection
Sat, 05 Jan 2008 21:57:18 +0100 wenzelm tuned comments;
Sat, 05 Jan 2008 21:37:24 +0100 wenzelm added symbol output mode, with XML escapes;
Sat, 05 Jan 2008 21:37:23 +0100 wenzelm export session id;
Sat, 05 Jan 2008 21:37:21 +0100 wenzelm secure_main: removed separate welcome;
Sat, 05 Jan 2008 21:37:20 +0100 wenzelm removed unused text_charref, cdata;
Sat, 05 Jan 2008 21:37:18 +0100 wenzelm added INIT message, with pid and session property;
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip