| Wed, 29 Apr 1998 11:22:01 +0200 |
wenzelm |
moved mk_defpair to logic.ML;
|
file |
diff |
annotate
|
| Mon, 09 Mar 1998 16:09:56 +0100 |
wenzelm |
adapted to new scanners and baroque chars;
|
file |
diff |
annotate
|
| Thu, 23 Oct 1997 12:10:55 +0200 |
wenzelm |
Sign.stamp_names_of;
|
file |
diff |
annotate
|
| Mon, 20 Oct 1997 10:39:26 +0200 |
wenzelm |
Sign.base_name;
|
file |
diff |
annotate
|
| Fri, 18 Jul 1997 14:06:54 +0200 |
wenzelm |
tuned error propagation msg;
|
file |
diff |
annotate
|
| Wed, 02 Apr 1997 11:33:14 +0200 |
paulson |
Made the error message more explicit
|
file |
diff |
annotate
|
| Mon, 29 Jan 1996 14:16:13 +0100 |
clasohm |
inserted tabs again
|
file |
diff |
annotate
|
| Mon, 29 Jan 1996 13:56:41 +0100 |
clasohm |
removed tabs
|
file |
diff |
annotate
|
| Fri, 08 Dec 1995 10:23:29 +0100 |
paulson |
Commented and renamed vars in readtm
|
file |
diff |
annotate
|
| Tue, 25 Oct 1994 13:13:52 +0100 |
wenzelm |
added require_thy;
|
file |
diff |
annotate
|
| Wed, 14 Sep 1994 16:11:19 +0200 |
wenzelm |
removed lookup_const (use Sign.const_type instead);
Isabelle94
|
file |
diff |
annotate
|
| Thu, 25 Aug 1994 12:21:00 +0200 |
lcp |
new file of useful things for writing theory sections
|
file |
diff |
annotate
|