| Mon, 11 Dec 2006 21:39:28 +0100 |
wenzelm |
advanced translation functions: Proof.context;
|
file |
diff |
annotate
|
| Sun, 10 Dec 2006 15:30:53 +0100 |
wenzelm |
abs/binder_tr': support printing of idtdummy;
|
file |
diff |
annotate
|
| Sun, 26 Nov 2006 18:07:34 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 25 Jul 2006 21:18:09 +0200 |
wenzelm |
added variant_abs (from term.ML);
|
file |
diff |
annotate
|
| Tue, 18 Jul 2006 20:01:41 +0200 |
wenzelm |
Term.declare_term_names;
|
file |
diff |
annotate
|
| Tue, 11 Jul 2006 12:17:01 +0200 |
wenzelm |
Name.invent_list;
|
file |
diff |
annotate
|
| Sun, 11 Jun 2006 21:59:28 +0200 |
wenzelm |
improved treatment of TERM TYPE syntax;
|
file |
diff |
annotate
|
| Fri, 05 May 2006 21:59:45 +0200 |
wenzelm |
added syntax for _type_constraint_;
|
file |
diff |
annotate
|
| Thu, 27 Apr 2006 15:06:35 +0200 |
wenzelm |
tuned basic list operators (flat, maps, map_filter);
|
file |
diff |
annotate
|
| Wed, 26 Apr 2006 22:38:05 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 21 Mar 2006 12:18:22 +0100 |
wenzelm |
mark_boundT: produce well-typed term;
|
file |
diff |
annotate
|
| Thu, 23 Feb 2006 13:37:46 +0100 |
wenzelm |
make SML/NJ happy;
|
file |
diff |
annotate
|
| Wed, 22 Feb 2006 22:18:42 +0100 |
wenzelm |
removed obsolete meta_conjunction_tr';
|
file |
diff |
annotate
|
| Fri, 10 Feb 2006 02:22:56 +0100 |
wenzelm |
moved fixedN to lexicon.ML;
|
file |
diff |
annotate
|
| Mon, 06 Feb 2006 20:59:58 +0100 |
wenzelm |
added bound_vars;
|
file |
diff |
annotate
|
| Tue, 31 Jan 2006 00:39:40 +0100 |
wenzelm |
advanced translations: Context.generic;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2006 17:14:06 +0100 |
wenzelm |
sane ERROR handling;
|
file |
diff |
annotate
|
| Thu, 22 Dec 2005 00:29:10 +0100 |
wenzelm |
prop_tr': proper handling of aprop marked as bound;
|
file |
diff |
annotate
|
| Fri, 02 Dec 2005 22:54:52 +0100 |
wenzelm |
asts_to_terms: builtin free_fixed translation makes local binders work properly;
|
file |
diff |
annotate
|
| Sat, 19 Nov 2005 14:21:09 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 09 Nov 2005 16:26:54 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 07 Oct 2005 22:59:26 +0200 |
wenzelm |
added idtypdummy_ast_tr;
|
file |
diff |
annotate
|
| Tue, 13 Sep 2005 22:19:49 +0200 |
wenzelm |
replaced TRANSLATION_FAIL by EXCEPTION;
|
file |
diff |
annotate
|
| Wed, 29 Jun 2005 15:13:42 +0200 |
wenzelm |
transform_failure in translation functions: TRANSLATION_FAIL;
|
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
|
| Sat, 18 Dec 2004 17:10:49 +0100 |
schirmer |
Syntax: last premise of "_bigimpl" is wrapped with "_asm", to have a hook for
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Sat, 05 Jun 2004 13:06:04 +0200 |
wenzelm |
tuned exeption handling (capture/release);
|
file |
diff |
annotate
|
| Fri, 21 May 2004 21:47:07 +0200 |
berghofe |
Modified functions pt_to_ast and ast_to_term to improve handling
|
file |
diff |
annotate
|