| Wed, 31 Dec 2008 18:53:16 +0100 |
wenzelm |
moved old add_type_XXX, add_term_XXX etc. to structure OldTerm;
|
file |
diff |
annotate
|
| Wed, 31 Dec 2008 00:08:13 +0100 |
wenzelm |
moved old add_term_vars, add_term_frees etc. to structure OldTerm;
|
file |
diff |
annotate
|
| Thu, 18 Sep 2008 19:39:44 +0200 |
wenzelm |
simplified oracle interface;
|
file |
diff |
annotate
|
| Wed, 18 Jun 2008 18:54:59 +0200 |
wenzelm |
OldGoals.simple_read_term;
|
file |
diff |
annotate
|
| Sun, 18 May 2008 15:04:09 +0200 |
wenzelm |
moved global pretty/string_of functions from Sign to Syntax;
|
file |
diff |
annotate
|
| Thu, 20 Mar 2008 00:20:44 +0100 |
wenzelm |
simplified get_thm(s): back to plain name argument;
|
file |
diff |
annotate
|
| Wed, 19 Mar 2008 22:50:42 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Wed, 19 Mar 2008 22:27:57 +0100 |
wenzelm |
renamed datatype thmref to Facts.ref, tuned interfaces;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2008 21:07:31 +0100 |
wenzelm |
replaced execute by system_out;
|
file |
diff |
annotate
|
| Tue, 18 Sep 2007 18:05:37 +0200 |
wenzelm |
simplified PrintMode interfaces;
|
file |
diff |
annotate
|
| Sat, 14 Apr 2007 17:35:52 +0200 |
wenzelm |
cleaned/simplified Sign.read_typ, Thm.read_cterm etc.;
|
file |
diff |
annotate
|
| Wed, 04 Apr 2007 23:29:33 +0200 |
wenzelm |
rep_thm/cterm/ctyp: removed obsolete sign field;
|
file |
diff |
annotate
|
| Tue, 25 Jul 2006 21:18:00 +0200 |
wenzelm |
renamed Term.variant_abs to Syntax.variant_abs;
|
file |
diff |
annotate
|
| Tue, 11 Jul 2006 12:16:54 +0200 |
wenzelm |
replaced Term.variant(list) by Name.variant(_list);
|
file |
diff |
annotate
|
| Tue, 20 Dec 2005 08:58:36 +0100 |
haftmann |
removed superfluos is_prefix functions
|
file |
diff |
annotate
|
| Fri, 21 Oct 2005 18:14:38 +0200 |
wenzelm |
OldGoals;
|
file |
diff |
annotate
|
| Wed, 14 Sep 2005 10:13:12 +0200 |
haftmann |
introduces AList.lookup
|
file |
diff |
annotate
|
| Tue, 06 Sep 2005 16:24:53 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
| Tue, 28 Jun 2005 15:27:45 +0200 |
paulson |
Constant "If" is now local
|
file |
diff |
annotate
|
| Mon, 20 Jun 2005 22:13:59 +0200 |
wenzelm |
get_thm(s): Name;
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 18:33:14 +0200 |
wenzelm |
replaced obsolete theory_of_sign by theory_of_thm;
|
file |
diff |
annotate
|
| Sun, 05 Jun 2005 11:31:21 +0200 |
wenzelm |
File.shell_path;
|
file |
diff |
annotate
|
| Tue, 31 May 2005 11:53:43 +0200 |
wenzelm |
no_tac;
|
file |
diff |
annotate
|
| Fri, 04 Mar 2005 15:07:34 +0100 |
skalberg |
Removed practically all references to Library.foldr.
|
file |
diff |
annotate
|
| Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
file |
diff |
annotate
|
| Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
| Mon, 24 Jan 2005 17:59:48 +0100 |
berghofe |
Adapted to modified interface of PureThy.get_thm(s).
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 16:39:09 +0200 |
wenzelm |
File.quote_sysify_path;
|
file |
diff |
annotate
|
| Sun, 20 Jun 2004 09:30:12 +0200 |
wenzelm |
got rid of Output.output for default print mode;
|
file |
diff |
annotate
|
| Sat, 29 May 2004 14:57:39 +0200 |
wenzelm |
Output.output;
|
file |
diff |
annotate
|
| Fri, 20 Aug 1999 15:42:20 +0200 |
wenzelm |
mucke -res;
|
file |
diff |
annotate
|
| Thu, 19 Aug 1999 19:55:13 +0200 |
wenzelm |
quite a lot of tuning an cleanup;
|
file |
diff |
annotate
|
| Thu, 22 Apr 1999 18:25:24 +0200 |
wenzelm |
fixed IO;
|
file |
diff |
annotate
|
| Thu, 22 Apr 1999 12:42:14 +0200 |
mueller |
added for mucke translation;
|
file |
diff |
annotate
|