Wed, 01 Feb 2006 22:20:40 +0100 wenzelm updated;
Wed, 01 Feb 2006 19:19:32 +0100 berghofe Added "evaluation" method and oracle.
Wed, 01 Feb 2006 15:22:02 +0100 paulson new and updated protocol proofs by Giamp Bella
Wed, 01 Feb 2006 12:23:14 +0100 haftmann substantial cleanup and simplifications
Wed, 01 Feb 2006 12:22:47 +0100 haftmann name clarifications
Wed, 01 Feb 2006 12:22:19 +0100 haftmann added map_entry_yield
Wed, 01 Feb 2006 01:05:17 +0100 urbanc - renamed some lemmas (some had names coming from ancient
Wed, 01 Feb 2006 01:03:41 +0100 urbanc added all constructors from PhD
Tue, 31 Jan 2006 18:19:36 +0100 wenzelm axiomatization: retrict parameters to occurrences in specs;
Tue, 31 Jan 2006 18:19:35 +0100 wenzelm improved comments;
Tue, 31 Jan 2006 18:19:34 +0100 wenzelm tuned LocalDefs.unfold;
Tue, 31 Jan 2006 18:19:32 +0100 wenzelm (un)fold: removed '(raw)' option;
Tue, 31 Jan 2006 18:19:31 +0100 wenzelm added consts_retricted;
Tue, 31 Jan 2006 18:19:30 +0100 wenzelm (un)fold: no raw flag;
Tue, 31 Jan 2006 18:19:29 +0100 wenzelm tuned;
Tue, 31 Jan 2006 18:19:28 +0100 wenzelm tuned LocalTheory.pretty_consts;
Tue, 31 Jan 2006 18:19:27 +0100 wenzelm (un)folded: removed '(raw)' option;
Tue, 31 Jan 2006 18:19:26 +0100 wenzelm lambda: abstract over TYPE argument, too;
Tue, 31 Jan 2006 18:19:25 +0100 wenzelm tuned comments;
Tue, 31 Jan 2006 17:48:28 +0100 paulson removal of ResClause.num_of_clauses and other simplifications
Tue, 31 Jan 2006 16:37:06 +0100 paulson working SPASS support; much tidying
Tue, 31 Jan 2006 16:26:18 +0100 haftmann added serialization for arbitrary
Tue, 31 Jan 2006 16:15:51 +0100 haftmann minor change to CodegenPackage interface
Tue, 31 Jan 2006 16:14:37 +0100 haftmann minor cleanups
Tue, 31 Jan 2006 16:12:56 +0100 haftmann more coherent lookup extraction functions
Tue, 31 Jan 2006 10:39:13 +0100 paulson reorganization of code to support DFG otuput
Tue, 31 Jan 2006 00:51:15 +0100 wenzelm * Pure: 'advanced' translation functions use Context.generic instead of just theory;
Tue, 31 Jan 2006 00:43:14 +0100 wenzelm declare defn rules;
Tue, 31 Jan 2006 00:39:44 +0100 wenzelm all styles now reset to defaults first, i.e. the document may switch styles back and forth;
Tue, 31 Jan 2006 00:39:43 +0100 wenzelm export meta_rewrite_rule;
Tue, 31 Jan 2006 00:39:43 +0100 wenzelm advanced translations: Context.generic;
Tue, 31 Jan 2006 00:39:40 +0100 wenzelm advanced translations: Context.generic;
Mon, 30 Jan 2006 15:31:31 +0100 paulson tidy-up of res_clause.ML, removing the "predicates" field
Mon, 30 Jan 2006 12:20:06 +0100 wenzelm 'setup': no list type, support implicit setup;
Mon, 30 Jan 2006 12:20:05 +0100 wenzelm 'fixes': support plain vars;
Mon, 30 Jan 2006 10:13:28 +0100 paulson fixed a syntax error!
Mon, 30 Jan 2006 08:47:38 +0100 haftmann replaced gen_list by enum
Mon, 30 Jan 2006 08:20:56 +0100 haftmann adaptions to codegen_package
Mon, 30 Jan 2006 08:20:06 +0100 haftmann various improvements
Mon, 30 Jan 2006 08:19:30 +0100 haftmann added three times overloaded Isar instance command
Mon, 30 Jan 2006 08:18:51 +0100 haftmann moved instance Isar command to class_package.ML
Mon, 30 Jan 2006 08:17:04 +0100 haftmann added map_atype, map_aterms
Sun, 29 Jan 2006 19:24:56 +0100 wenzelm tuned proof;
Sun, 29 Jan 2006 19:23:52 +0100 wenzelm declare atomize/defn for Ball;
Sun, 29 Jan 2006 19:23:51 +0100 wenzelm invent_fixes: merely enter body temporarily;
Sun, 29 Jan 2006 19:23:50 +0100 wenzelm 'unfolding': LocalDefs.unfold;
Sun, 29 Jan 2006 19:23:49 +0100 wenzelm moved treatment of object-logic equalities to local_defs.ML;
Sun, 29 Jan 2006 19:23:48 +0100 wenzelm method (un)folded: option '(raw)';
Sun, 29 Jan 2006 19:23:47 +0100 wenzelm added attributes defn_add/del;
Sun, 29 Jan 2006 19:23:46 +0100 wenzelm added 'defn' attribute;
Sun, 29 Jan 2006 19:23:45 +0100 wenzelm proper order of trfuns;
Sun, 29 Jan 2006 19:23:44 +0100 wenzelm CPure: Context.add_setup;
Sun, 29 Jan 2006 19:23:43 +0100 wenzelm tuned proofs;
Sun, 29 Jan 2006 19:23:42 +0100 wenzelm implicit setup;
Sun, 29 Jan 2006 19:23:41 +0100 wenzelm default rule step: norm_hhf_tac;
Sun, 29 Jan 2006 19:23:40 +0100 wenzelm tuned comment;
Sun, 29 Jan 2006 19:23:38 +0100 wenzelm declare 'defn' rules;
Sat, 28 Jan 2006 17:29:49 +0100 wenzelm LocalDefs;
Sat, 28 Jan 2006 17:29:06 +0100 wenzelm Basic operations on local definitions.
Sat, 28 Jan 2006 17:29:04 +0100 wenzelm removed unnecessary Syntax.fix_mixfix;
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip