| Fri, 10 Feb 2006 02:22:50 +0100 |
wenzelm |
added fixedN, constN;
|
file |
diff |
annotate
|
| Thu, 08 Dec 2005 20:16:10 +0100 |
wenzelm |
removed Syntax.deskolem;
|
file |
diff |
annotate
|
| Wed, 16 Nov 2005 17:45:35 +0100 |
wenzelm |
added deskolem;
|
file |
diff |
annotate
|
| Tue, 31 May 2005 11:53:41 +0200 |
wenzelm |
moved is_ident to General/symbol.ML;
|
file |
diff |
annotate
|
| Tue, 17 May 2005 18:10:44 +0200 |
wenzelm |
added read_variable: optional question mark on input;
|
file |
diff |
annotate
|
| Mon, 16 May 2005 10:29:15 +0200 |
paulson |
Use of IntInf.int instead of int in most numeric simprocs; avoids
|
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
|
| Tue, 18 Jan 2005 14:36:04 +0100 |
berghofe |
indexname function now parses type variables as well; changed input
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Sat, 29 May 2004 15:06:42 +0200 |
wenzelm |
Library.read_int; Output.output;
|
file |
diff |
annotate
|
| Fri, 21 May 2004 21:22:10 +0200 |
wenzelm |
string_of_vname moved to term.ML;
|
file |
diff |
annotate
|
| Tue, 11 May 2004 14:00:02 +0200 |
berghofe |
Eta-expanded function scan_comment to make SmlNJ happy.
|
file |
diff |
annotate
|
| Mon, 10 May 2004 19:26:58 +0200 |
wenzelm |
support nested comments;
|
file |
diff |
annotate
|