Tue, 06 Mar 2007 16:40:32 +0100 narboux correct typo in latex output
Tue, 06 Mar 2007 16:17:52 +0100 urbanc updated this file to the new infrastructure
Tue, 06 Mar 2007 15:49:25 +0100 krauss fixed function package bug in the handling of multiple guards
Tue, 06 Mar 2007 15:28:22 +0100 urbanc major update of the nominal package; there is now an infrastructure
Tue, 06 Mar 2007 08:09:43 +0100 kleing fix wrong default for find_theorems
Tue, 06 Mar 2007 05:32:14 +0100 kleing document find_theorems syntax change
Tue, 06 Mar 2007 05:31:23 +0100 kleing find_theorems: moved with_dup into the brackets, i.e.
Tue, 06 Mar 2007 05:09:53 +0100 kleing an O(n log n) version of removing duplicates
Mon, 05 Mar 2007 22:39:59 +0100 kleing clean up var/running dir before spawning new tests
Mon, 05 Mar 2007 22:25:00 +0100 kleing additional settings for isatest runs on various platforms
Mon, 05 Mar 2007 22:23:23 +0100 kleing adjust paths
Mon, 05 Mar 2007 22:12:20 +0100 kleing moved all isatest/cron job related files to own directory
Mon, 05 Mar 2007 10:14:32 +0100 gagern AnnoMaLy related files, as discussed in mails with Gerwin Klein
Sat, 03 Mar 2007 12:56:06 +0100 aspinall Simplify print mode. Support setproverflag.
Sat, 03 Mar 2007 12:43:16 +0100 aspinall Update test for new parse result
Sat, 03 Mar 2007 12:42:39 +0100 aspinall Add setproverflag, to replace other flag controls
Sat, 03 Mar 2007 12:42:04 +0100 aspinall Add objtypes to openblock/closeblock and theory items (can be used to control folding).
Sat, 03 Mar 2007 12:39:50 +0100 aspinall Add more attributes to openblock. Change theory item objtype field to proper objtype.
Sat, 03 Mar 2007 12:38:36 +0100 aspinall Add Isabelle-specific objtypes
Sat, 03 Mar 2007 12:38:25 +0100 aspinall Comment
Sat, 03 Mar 2007 09:27:02 +0100 haftmann clarified code
Sat, 03 Mar 2007 09:27:01 +0100 haftmann clarified error message
Sat, 03 Mar 2007 09:27:00 +0100 haftmann moved instance option :: finite to Finite_Set.thy
Sat, 03 Mar 2007 09:26:58 +0100 haftmann moved instance option :: finite here
Sat, 03 Mar 2007 00:16:09 +0100 aspinall Fix idvalue output and PGML print mode raw encode/decode.
Fri, 02 Mar 2007 15:43:27 +0100 haftmann permitting empty datatypes
Fri, 02 Mar 2007 15:43:26 +0100 haftmann improved handling of nat numerals
Fri, 02 Mar 2007 15:43:25 +0100 haftmann tuned code theorems for ord on integers
Fri, 02 Mar 2007 15:43:24 +0100 haftmann simplified code generator setup
Fri, 02 Mar 2007 15:43:23 +0100 haftmann tuned code theorems
Fri, 02 Mar 2007 15:43:22 +0100 haftmann added add_numerals_of
Fri, 02 Mar 2007 15:43:21 +0100 haftmann now using "class"
Fri, 02 Mar 2007 15:43:20 +0100 haftmann using "fst" "snd" for Haskell code
Fri, 02 Mar 2007 15:43:19 +0100 haftmann added code theorems for UNIV
Fri, 02 Mar 2007 15:43:18 +0100 haftmann adjusted to latest changes
Fri, 02 Mar 2007 15:43:17 +0100 haftmann new code theorems
Fri, 02 Mar 2007 15:43:16 +0100 haftmann syntax for "class attach const"
Fri, 02 Mar 2007 15:43:15 +0100 haftmann prefix of class interpretation not mandatory any longer
Fri, 02 Mar 2007 12:38:58 +0100 paulson Meson.is_fol_term now takes a theory as argument. Minor tidying.
Fri, 02 Mar 2007 12:37:34 +0100 paulson New code to store theorem names in a concise form rather than as fully-qualified.
Fri, 02 Mar 2007 12:35:20 +0100 paulson The first-order test now tests for the obscure case of a polymorphic constant like 1 being
Wed, 28 Feb 2007 22:05:46 +0100 wenzelm abbrev: be permissive after transformation;
Wed, 28 Feb 2007 22:05:44 +0100 wenzelm exported get_ss, map_ss;
Wed, 28 Feb 2007 22:05:43 +0100 wenzelm tuned;
Wed, 28 Feb 2007 22:05:43 +0100 wenzelm tuned ML setup;
Wed, 28 Feb 2007 22:05:41 +0100 wenzelm added @{const_name}, @{const_syntax};
Wed, 28 Feb 2007 16:35:00 +0100 krauss more cleanup
Wed, 28 Feb 2007 14:46:21 +0100 aspinall Add closeblock/openblock structure to proof-block commands
Wed, 28 Feb 2007 13:33:10 +0100 paulson Updated success string for Vampire.
Wed, 28 Feb 2007 12:51:46 +0100 paulson Now outputs metis calls
Wed, 28 Feb 2007 11:12:12 +0100 krauss added headers
Wed, 28 Feb 2007 10:36:10 +0100 krauss cleanup, fixing sml/nj related problems
Wed, 28 Feb 2007 00:22:26 +0100 wenzelm gensym: removed bits of dead code;
Tue, 27 Feb 2007 11:10:35 +0100 paulson gensym no longer includes ' or _ in names (trailing _ is bad)
Tue, 27 Feb 2007 00:33:49 +0100 wenzelm tuned document;
Tue, 27 Feb 2007 00:32:52 +0100 wenzelm \usepackage{amssymb};
Mon, 26 Feb 2007 23:18:30 +0100 wenzelm moved some non-kernel material to more_thm.ML;
Mon, 26 Feb 2007 23:18:29 +0100 wenzelm removed obsolete eq_set;
Mon, 26 Feb 2007 23:18:28 +0100 wenzelm Thm.internalK;
Mon, 26 Feb 2007 23:18:27 +0100 wenzelm Further operations on type thm, outside the inference kernel.
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip