| Sat, 14 Apr 2007 17:36:18 +0200 |
wenzelm |
removed redundant string_of_vname (see term.ML);
|
file |
diff |
annotate
|
| Tue, 03 Apr 2007 19:24:21 +0200 |
wenzelm |
avoid overloaded integer constants (accomodate Alice);
|
file |
diff |
annotate
|
| Fri, 15 Dec 2006 00:08:06 +0100 |
wenzelm |
avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
|
file |
diff |
annotate
|
| Tue, 12 Dec 2006 00:25:09 +0100 |
wenzelm |
read_xnum: return leading_zeros, radix;
|
file |
diff |
annotate
|
| Mon, 11 Dec 2006 21:41:03 +0100 |
wenzelm |
xstr: disallow backslashes;
|
file |
diff |
annotate
|
| Thu, 21 Sep 2006 19:04:20 +0200 |
wenzelm |
member (op =);
|
file |
diff |
annotate
|
| Wed, 02 Aug 2006 22:27:07 +0200 |
wenzelm |
renamed Syntax.indexname to Syntax.read_indexname;
|
file |
diff |
annotate
|
| Wed, 19 Jul 2006 12:12:08 +0200 |
wenzelm |
export is_tid;
|
file |
diff |
annotate
|
| Tue, 11 Jul 2006 14:21:08 +0200 |
wenzelm |
uniform treatment of num/xnum;
|
file |
diff |
annotate
|
| Tue, 11 Jul 2006 12:22:58 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 11 Jul 2006 00:43:54 +0200 |
kleing |
hex and binary numerals (contributed by Rafal Kolanski)
|
file |
diff |
annotate
|
| Sat, 17 Jun 2006 19:38:00 +0200 |
wenzelm |
moved internal/skolem to term.ML;
|
file |
diff |
annotate
|
| Thu, 27 Apr 2006 15:06:35 +0200 |
wenzelm |
tuned basic list operators (flat, maps, map_filter);
|
file |
diff |
annotate
|
| Tue, 21 Mar 2006 12:18:15 +0100 |
wenzelm |
avoid polymorphic equality;
|
file |
diff |
annotate
|
| Fri, 10 Feb 2006 02:22:50 +0100 |
wenzelm |
added fixedN, constN;
|
file |
diff |
annotate
|