| Mon, 18 Sep 2000 14:10:31 +0200 |
wenzelm |
indicate occurrences of 'handle _';
|
file |
diff |
annotate
|
| Wed, 06 Sep 2000 17:58:37 +0200 |
wenzelm |
fixed structure U;
|
file |
diff |
annotate
|
| Tue, 05 Sep 2000 18:53:21 +0200 |
wenzelm |
proper handling of hints;
|
file |
diff |
annotate
|
| Thu, 31 Aug 2000 09:23:01 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Tue, 29 Aug 2000 15:13:10 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Fri, 18 Aug 2000 17:58:33 +0200 |
wenzelm |
proper handling of defs;
|
file |
diff |
annotate
|
| Thu, 17 Aug 2000 18:31:12 +0200 |
nipkow |
installed recdef congs data
|
file |
diff |
annotate
|
| Thu, 13 Jul 2000 23:20:57 +0200 |
wenzelm |
adapted PureThy.add_defs_i;
|
file |
diff |
annotate
|
| Fri, 05 May 2000 22:35:51 +0200 |
wenzelm |
error msg: counting from one (again), in order to be consistent with
|
file |
diff |
annotate
|
| Sat, 15 Apr 2000 17:41:20 +0200 |
nipkow |
mod to error msg
|
file |
diff |
annotate
|
| Fri, 31 Mar 2000 22:01:01 +0200 |
wenzelm |
made SML/XL happy;
|
file |
diff |
annotate
|
| Fri, 31 Mar 2000 10:23:15 +0200 |
nipkow |
comments modified
|
file |
diff |
annotate
|
| Thu, 30 Mar 2000 19:44:11 +0200 |
nipkow |
the simplification rules returned from TFL are now paired with the row they
|
file |
diff |
annotate
|
| Fri, 17 Mar 2000 15:49:50 +0100 |
paulson |
better error messages, especially for multiple types
|
file |
diff |
annotate
|
| Mon, 13 Mar 2000 13:28:31 +0100 |
wenzelm |
adapted to new PureThy.add_thms etc.;
|
file |
diff |
annotate
|