src/Pure/display.ML
Thu, 27 Jul 2006 13:43:04 +0200 wenzelm removed obsolete pretty_thm_no_quote;
Wed, 26 Jul 2006 00:44:49 +0200 wenzelm moved pprint functions to Isar/proof_display.ML;
Tue, 11 Jul 2006 12:17:01 +0200 wenzelm Name.invent_list;
Wed, 07 Jun 2006 02:01:28 +0200 wenzelm renamed Type.(un)varifyT to Logic.(un)varifyT;
Tue, 23 May 2006 14:00:06 +0200 wenzelm made smlnj happy;
Tue, 23 May 2006 13:55:02 +0200 wenzelm pretty_full_theory: tuned output of definitions;
Mon, 22 May 2006 22:29:16 +0200 wenzelm pretty_full_theory: defs;
Tue, 16 May 2006 13:01:24 +0200 wenzelm more abstract interface to classes/arities;
Mon, 08 May 2006 17:40:07 +0200 wenzelm added raw_string_of_sort/typ/term;
Mon, 01 May 2006 17:05:09 +0200 wenzelm adapted arities;
Thu, 27 Apr 2006 15:06:35 +0200 wenzelm tuned basic list operators (flat, maps, map_filter);
Thu, 13 Apr 2006 12:00:58 +0200 wenzelm tuned comment;
Sat, 08 Apr 2006 22:51:19 +0200 wenzelm print_theory: print abbreviations nicely;
Tue, 21 Mar 2006 12:18:07 +0100 wenzelm subtract (op =);
Wed, 08 Feb 2006 17:15:27 +0100 wenzelm tuned;
Mon, 06 Feb 2006 20:59:03 +0100 wenzelm print_theory: const abbreviations;
Wed, 02 Nov 2005 14:46:57 +0100 wenzelm Consts.dest;
Thu, 27 Oct 2005 13:54:43 +0200 wenzelm consts: monomorphic;
Thu, 29 Sep 2005 00:58:57 +0200 wenzelm print_theory: discontinued final consts;
Sat, 17 Sep 2005 19:17:34 +0200 wenzelm pretty_thm_aux: ora masked by quick_and_dirty;
Sat, 17 Sep 2005 18:11:28 +0200 wenzelm pretty_thm_aux: aconv hyps;
Sat, 17 Sep 2005 12:18:03 +0200 wenzelm pretty_thm_aux: observe asms context;
Thu, 28 Jul 2005 15:19:54 +0200 wenzelm print_theory: const constraints;
Thu, 14 Jul 2005 19:28:28 +0200 wenzelm NameSpace.dest_table avoids duplicated extern;
Wed, 22 Jun 2005 19:41:19 +0200 wenzelm tuned;
Mon, 20 Jun 2005 22:14:04 +0200 wenzelm tuned;
Fri, 17 Jun 2005 18:33:22 +0200 wenzelm removed pretty_theory, pprint_theory (see context.ML or thy_info.ML);
Sat, 11 Jun 2005 22:15:48 +0200 wenzelm refer to name spaces values instead of names;
Thu, 09 Jun 2005 12:03:21 +0200 wenzelm print_theory: omit name spaces; NameSpace.extern_table;
Sun, 05 Jun 2005 23:07:28 +0200 wenzelm renamed const_deps to defs;
Tue, 31 May 2005 19:32:41 +0200 obua Removed final_consts from theory data. Now const_deps deals with final
Tue, 31 May 2005 11:53:18 +0200 wenzelm renamed cond_extern to extern;
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.
Wed, 23 Jun 2004 09:09:18 +0200 wenzelm tuned;
Tue, 22 Jun 2004 09:52:08 +0200 wenzelm improved print_theory;
Mon, 21 Jun 2004 16:41:06 +0200 wenzelm pretty_abbr;
Sat, 05 Jun 2004 13:08:53 +0200 wenzelm pretty_thm/goals_aux, pretty_flexpair: pp;
Fri, 21 May 2004 21:28:14 +0200 wenzelm adapted tsig/sg interface;
Thu, 22 Apr 2004 10:55:02 +0200 wenzelm adapted Sign.rep_sg;
Fri, 16 Apr 2004 18:45:56 +0200 berghofe Replaced quote by Library.quote, since quote now refers to Symbol.quote
Fri, 19 Mar 2004 10:42:38 +0100 paulson Removing the datatype declaration of "order" allows the standard General.order
Thu, 09 Oct 2003 18:13:32 +0200 skalberg Added support for making constants final, that is, ensuring that no
Sun, 31 Aug 2003 21:27:58 +0200 skalberg Makes interactive proof scripting recognize the show_all_types flag.
Mon, 21 Oct 2002 17:04:47 +0200 berghofe Changed handling of flex-flex constraints: now stored in separate
Mon, 21 Jan 2002 17:02:52 +0100 wenzelm reset show_hyps by default (in accordance to existing Isar practice);
Sat, 08 Dec 2001 14:41:36 +0100 wenzelm tuned print_goals interfaces;
Tue, 06 Nov 2001 23:52:23 +0100 wenzelm added goals_limit (from tctical.ML);
Tue, 06 Nov 2001 19:25:24 +0100 wenzelm export pretty_thm_aux;
Mon, 22 Oct 2001 17:59:39 +0200 wenzelm print_goals stuff is back (from locale.ML);
Wed, 15 Aug 2001 22:20:30 +0200 wenzelm support for absolute namespace entry paths;
Sat, 23 Dec 2000 22:52:41 +0100 wenzelm tuned output;
Sun, 17 Sep 2000 22:23:48 +0200 wenzelm added print_thm(s)_sg;
Wed, 02 Aug 2000 19:38:33 +0200 wenzelm use oracle flag from derivation;
Mon, 22 May 2000 11:57:27 +0200 wenzelm show_consts no longer requires show_types;
Mon, 17 Apr 2000 13:57:55 +0200 wenzelm Pretty.chunks;
Wed, 15 Mar 2000 18:20:52 +0100 wenzelm removed Pretty.spc;
Thu, 09 Mar 2000 22:57:39 +0100 wenzelm quote tag arguments;
Wed, 29 Sep 1999 13:50:26 +0200 wenzelm new tsig components;
less more (0) -60 tip