Thu, 27 Apr 2006 17:40:17 +0200 nipkow added zip/take/drop lemmas
Thu, 27 Apr 2006 15:06:42 +0200 wenzelm tuned;
Thu, 27 Apr 2006 15:06:42 +0200 wenzelm renamed Source.mapfilter to Source.map_filter;
Thu, 27 Apr 2006 15:06:40 +0200 wenzelm added map_filter;
Thu, 27 Apr 2006 15:06:39 +0200 wenzelm renamed mapfilter to map_filter, made pervasive (again);
Thu, 27 Apr 2006 15:06:35 +0200 wenzelm tuned basic list operators (flat, maps, map_filter);
Thu, 27 Apr 2006 12:11:56 +0200 paulson renamed HOLogic.mk_bin to mk_binum for consistency with dest_binum
Thu, 27 Apr 2006 12:11:05 +0200 paulson slight shortening of blacklist
Thu, 27 Apr 2006 12:10:47 +0200 paulson cosmetic changes
Thu, 27 Apr 2006 12:09:32 +0200 paulson some new functions
Thu, 27 Apr 2006 01:41:30 +0200 urbanc isar-keywords.el
Wed, 26 Apr 2006 22:40:46 +0200 wenzelm *** empty log message ***
Wed, 26 Apr 2006 22:38:16 +0200 wenzelm curried Seq.cons;
Wed, 26 Apr 2006 22:38:11 +0200 wenzelm removed splitAt (superceded by chop);
Wed, 26 Apr 2006 22:38:05 +0200 wenzelm tuned;
Wed, 26 Apr 2006 20:34:11 +0200 wenzelm removed obsolete expand_case_tac;
Wed, 26 Apr 2006 14:19:13 +0200 haftmann fixed silly symlink bug
Wed, 26 Apr 2006 07:02:04 +0200 kleing added Ben Porter's stuff
Wed, 26 Apr 2006 07:01:33 +0200 kleing moved arithmetic series to geometric series in SetInterval
Tue, 25 Apr 2006 22:23:58 +0200 wenzelm Sign.arity_sorts;
Tue, 25 Apr 2006 22:23:50 +0200 wenzelm unlocalize_mixfix: fallback on NoSyn;
Tue, 25 Apr 2006 22:23:41 +0200 wenzelm tuned;
Tue, 25 Apr 2006 22:23:30 +0200 wenzelm refer to structure Type instead of Sorts;
Tue, 25 Apr 2006 22:23:24 +0200 wenzelm added inter_sort;
Tue, 25 Apr 2006 22:23:17 +0200 wenzelm added remove_sort;
Tue, 25 Apr 2006 22:23:11 +0200 wenzelm added arity_number/sorts;
Tue, 25 Apr 2006 22:23:04 +0200 wenzelm made 'flat' pervasive (again);
Tue, 25 Apr 2006 22:22:58 +0200 wenzelm get_info: removed 'super' field;
Mon, 24 Apr 2006 16:37:52 +0200 haftmann seperated typedef codegen from main code
Mon, 24 Apr 2006 16:37:37 +0200 haftmann more precise tactics
Mon, 24 Apr 2006 16:37:07 +0200 haftmann fixed typo
Mon, 24 Apr 2006 16:36:34 +0200 haftmann more precise data structure
Mon, 24 Apr 2006 16:36:07 +0200 haftmann cleaned up some diagnostic mathom
Mon, 24 Apr 2006 16:35:30 +0200 haftmann moved coalesce to AList, added equality predicates to library
Sun, 23 Apr 2006 10:57:48 +0200 obua added LP.thy
Sat, 22 Apr 2006 06:06:39 +0200 mengj Changed the treatment of equalities.
Thu, 20 Apr 2006 04:20:06 +0200 mengj Changed the logic detection method.
Wed, 19 Apr 2006 13:11:35 +0200 paulson exported linkup_logic_mode and changed the default setting
Wed, 19 Apr 2006 10:43:53 +0200 paulson fix to spacing in switches, for Vampire under SML/NJ
Wed, 19 Apr 2006 10:43:09 +0200 paulson definition expansion checks for excess variables
Wed, 19 Apr 2006 10:42:45 +0200 paulson the "th" field of type "clause"
Wed, 19 Apr 2006 10:42:13 +0200 paulson tidying and reformatting
Wed, 19 Apr 2006 10:41:37 +0200 paulson tidying; ATP options including CASC mode for Vampire
Tue, 18 Apr 2006 05:38:18 +0200 mengj Take conjectures and axioms as thms when convert them to ResHolClause.clause format.
Tue, 18 Apr 2006 05:37:43 +0200 mengj Take conjectures and axioms as thms when convert them to ResClause.clause format.
Tue, 18 Apr 2006 05:36:38 +0200 mengj Tidied up some programs.
Sun, 16 Apr 2006 08:22:29 +0200 haftmann fixed typo
Thu, 13 Apr 2006 23:15:44 +0200 huffman add lemma less_UU_iff as default simp rule
Thu, 13 Apr 2006 23:14:18 +0200 huffman hide common name of constant 'run'
Thu, 13 Apr 2006 12:01:16 +0200 wenzelm early test of Classpackage, Codegenerator;
Thu, 13 Apr 2006 12:01:15 +0200 wenzelm fixed typo in method invocation;
Thu, 13 Apr 2006 12:01:14 +0200 wenzelm ignore sort constraints of consts declarations;
Thu, 13 Apr 2006 12:01:13 +0200 wenzelm ignore sort constraints of consts declarations;
Thu, 13 Apr 2006 12:01:12 +0200 wenzelm add_axclass(_i): canonical specification format;
Thu, 13 Apr 2006 12:01:11 +0200 wenzelm certify: ignore sort constraints of declarations (MAJOR CHANGE);
Thu, 13 Apr 2006 12:01:10 +0200 wenzelm added print_theorems/theory, print_theorems_diff (from pure_thy.ML);
Thu, 13 Apr 2006 12:01:09 +0200 wenzelm axclass: old-style concrete syntax for canonical specification format;
Thu, 13 Apr 2006 12:01:08 +0200 wenzelm ProofDisplay.print_theorems/theory;
Thu, 13 Apr 2006 12:01:07 +0200 wenzelm added maxidx_of;
Thu, 13 Apr 2006 12:01:06 +0200 wenzelm tuned;
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip