| Thu, 03 Nov 1994 16:52:19 +0100 |
lcp |
Pure/goals/prepare_proof/mkresult: now smashes flexflex pairs in the final
|
file |
diff |
annotate
|
| Wed, 02 Nov 1994 09:09:30 +0100 |
nipkow |
Modified pattern.ML to perform proper matching of Higher-Order Patterns.
|
file |
diff |
annotate
|
| Thu, 25 Aug 1994 10:41:17 +0200 |
lcp |
print_sign_exn: now exported, with a polymorphic type
|
file |
diff |
annotate
|
| Thu, 18 Aug 1994 17:53:28 +0200 |
lcp |
Pure/goals.ML: prove_goalw_cterm now does its own exception-handling, moved
|
file |
diff |
annotate
|
| Thu, 03 Feb 1994 13:55:20 +0100 |
wenzelm |
replaced eq_sg by Sign.eq_sg;
|
file |
diff |
annotate
|
| Tue, 18 Jan 1994 15:57:40 +0100 |
lcp |
Many other files modified as follows:
|
file |
diff |
annotate
|
| Fri, 22 Oct 1993 10:31:19 +0100 |
lcp |
goals/print_top,prepare_proof: now call \!print_goals_ref
|
file |
diff |
annotate
|
| Fri, 08 Oct 1993 12:30:01 +0100 |
wenzelm |
"The error/exception above ...": errorneous goal now quoted;
|
file |
diff |
annotate
|
| Thu, 16 Sep 1993 12:20:38 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|