src/Pure/Thy/thm_deps.ML
Mon, 25 Feb 2008 19:48:06 +0100 wenzelm thm_deps: sort result;
Sat, 08 Sep 2007 19:58:38 +0200 wenzelm Present.session_name;
Fri, 15 Dec 2006 00:08:06 +0100 wenzelm avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
Tue, 05 Dec 2006 00:30:38 +0100 wenzelm thm/prf: separate official name vs. additional tags;
Wed, 04 Oct 2006 14:17:38 +0200 haftmann insert replacing ins ins_int ins_string
Thu, 21 Sep 2006 19:04:20 +0200 wenzelm member (op =);
Mon, 18 Sep 2006 19:12:50 +0200 wenzelm Present.display_graph;
Fri, 27 Jan 2006 19:03:02 +0100 wenzelm moved theorem tags from Drule to PureThy;
Thu, 15 Sep 2005 17:16:56 +0200 wenzelm TableFun/Symtab: curried lookup and update;
Thu, 01 Sep 2005 22:15:12 +0200 wenzelm curried_lookup/update;
Wed, 03 Aug 2005 16:28:22 +0200 berghofe Adapted to new argument format of MinProof constructor.
Tue, 19 Jul 2005 20:47:01 +0200 wenzelm Inttab.defined;
Sun, 05 Jun 2005 11:31:32 +0200 wenzelm File.isatool, File.shell_path;
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, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Tue, 27 Aug 2002 11:06:20 +0200 wenzelm Thm.proof_of;
Mon, 19 Nov 2001 17:42:00 +0100 berghofe Now handles different theorems with same name more gracefully.
Wed, 17 Oct 2001 18:52:30 +0200 wenzelm tuned comments;
Fri, 28 Sep 2001 11:04:44 +0200 berghofe Exchanged % and %%.
Sat, 01 Sep 2001 00:14:16 +0200 wenzelm renamed `keep_derivs' to `proofs', and made an integer;
Fri, 31 Aug 2001 16:25:53 +0200 berghofe Adapted to new proof terms.
Wed, 02 Aug 2000 19:40:14 +0200 wenzelm adapted deriv;
Thu, 27 Jul 2000 18:23:12 +0200 wenzelm tuned;
Wed, 13 Oct 1999 19:41:35 +0200 wenzelm system;
Thu, 07 Oct 1999 15:40:32 +0200 berghofe Replaced update_new by update.
Thu, 07 Oct 1999 14:44:55 +0200 berghofe Added functions for enabling and disabling derivations.
Thu, 07 Oct 1999 14:32:18 +0200 wenzelm $ISATOOL;
Thu, 07 Oct 1999 11:36:39 +0200 berghofe New function thm_deps for visualizing dependencies of theorems.
less more (0) tip