src/HOL/Modelcheck/mucke_oracle.ML
Sat, 06 Feb 2010 14:50:55 +0100 wenzelm renamed system/system_out to bash/bash_output -- to emphasized that this is really GNU bash, not some undefined POSIX sh;
Tue, 24 Nov 2009 17:28:25 +0100 haftmann curried take/drop
Mon, 19 Oct 2009 23:02:56 +0200 wenzelm always qualify NJ's old List.foldl/foldr in Isabelle/ML;
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Tue, 29 Sep 2009 16:24:36 +0200 wenzelm explicit indication of Unsynchronized.ref;
Fri, 24 Jul 2009 22:09:09 +0200 wenzelm do not open OldGoals;
Fri, 24 Jul 2009 21:02:34 +0200 wenzelm explicit OldGoals;
Thu, 23 Jul 2009 18:44:09 +0200 wenzelm renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;
Fri, 20 Mar 2009 15:24:18 +0100 wenzelm eliminated global SIMPSET, CLASET etc. -- refer to explicit context;
Wed, 31 Dec 2008 18:53:16 +0100 wenzelm moved old add_type_XXX, add_term_XXX etc. to structure OldTerm;
Wed, 31 Dec 2008 00:08:13 +0100 wenzelm moved old add_term_vars, add_term_frees etc. to structure OldTerm;
Thu, 18 Sep 2008 19:39:44 +0200 wenzelm simplified oracle interface;
Wed, 18 Jun 2008 18:54:59 +0200 wenzelm OldGoals.simple_read_term;
Sun, 18 May 2008 15:04:09 +0200 wenzelm moved global pretty/string_of functions from Sign to Syntax;
Thu, 20 Mar 2008 00:20:44 +0100 wenzelm simplified get_thm(s): back to plain name argument;
Wed, 19 Mar 2008 22:50:42 +0100 wenzelm more antiquotations;
Wed, 19 Mar 2008 22:27:57 +0100 wenzelm renamed datatype thmref to Facts.ref, tuned interfaces;
Thu, 06 Mar 2008 21:07:31 +0100 wenzelm replaced execute by system_out;
Tue, 18 Sep 2007 18:05:37 +0200 wenzelm simplified PrintMode interfaces;
Sat, 14 Apr 2007 17:35:52 +0200 wenzelm cleaned/simplified Sign.read_typ, Thm.read_cterm etc.;
Wed, 04 Apr 2007 23:29:33 +0200 wenzelm rep_thm/cterm/ctyp: removed obsolete sign field;
Tue, 25 Jul 2006 21:18:00 +0200 wenzelm renamed Term.variant_abs to Syntax.variant_abs;
Tue, 11 Jul 2006 12:16:54 +0200 wenzelm replaced Term.variant(list) by Name.variant(_list);
Tue, 20 Dec 2005 08:58:36 +0100 haftmann removed superfluos is_prefix functions
Fri, 21 Oct 2005 18:14:38 +0200 wenzelm OldGoals;
Wed, 14 Sep 2005 10:13:12 +0200 haftmann introduces AList.lookup
Tue, 06 Sep 2005 16:24:53 +0200 wenzelm converted to Isar theory format;
Tue, 28 Jun 2005 15:27:45 +0200 paulson Constant "If" is now local
Mon, 20 Jun 2005 22:13:59 +0200 wenzelm get_thm(s): Name;
Fri, 17 Jun 2005 18:33:14 +0200 wenzelm replaced obsolete theory_of_sign by theory_of_thm;
Sun, 05 Jun 2005 11:31:21 +0200 wenzelm File.shell_path;
Tue, 31 May 2005 11:53:43 +0200 wenzelm no_tac;
Fri, 04 Mar 2005 15:07:34 +0100 skalberg Removed practically all references to Library.foldr.
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Mon, 24 Jan 2005 17:59:48 +0100 berghofe Adapted to modified interface of PureThy.get_thm(s).
Mon, 21 Jun 2004 16:39:09 +0200 wenzelm File.quote_sysify_path;
Sun, 20 Jun 2004 09:30:12 +0200 wenzelm got rid of Output.output for default print mode;
Sat, 29 May 2004 14:57:39 +0200 wenzelm Output.output;
Fri, 20 Aug 1999 15:42:20 +0200 wenzelm mucke -res;
Thu, 19 Aug 1999 19:55:13 +0200 wenzelm quite a lot of tuning an cleanup;
Thu, 22 Apr 1999 18:25:24 +0200 wenzelm fixed IO;
Thu, 22 Apr 1999 12:42:14 +0200 mueller added for mucke translation;
less more (0) tip