| Wed, 08 Mar 2006 18:37:25 +0100 |
wenzelm |
Isar/method: goal restriction;
|
changeset |
files
|
| Wed, 08 Mar 2006 18:37:24 +0100 |
wenzelm |
constdecl: always allow 'where';
|
changeset |
files
|
| Wed, 08 Mar 2006 18:00:00 +0100 |
urbanc |
deleted some proofs "on comment"
|
changeset |
files
|
| Wed, 08 Mar 2006 17:55:51 +0100 |
urbanc |
tuned some proofs
|
changeset |
files
|
| Wed, 08 Mar 2006 17:54:55 +0100 |
urbanc |
tuned some of the proofs about fresh_fun
|
changeset |
files
|
| Wed, 08 Mar 2006 17:23:46 +0100 |
haftmann |
first running version of type classes
|
changeset |
files
|
| Wed, 08 Mar 2006 17:03:19 +0100 |
haftmann |
first running version of type classes
|
changeset |
files
|
| Wed, 08 Mar 2006 16:29:07 +0100 |
haftmann |
first running version of type classes
|
changeset |
files
|
| Wed, 08 Mar 2006 10:19:57 +0100 |
paulson |
Frequency strategy. Revised indentation, etc.
|
changeset |
files
|
| Wed, 08 Mar 2006 10:06:31 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Tue, 07 Mar 2006 18:02:11 +0100 |
obua |
added ROOT.ML
|
changeset |
files
|
| Tue, 07 Mar 2006 16:50:33 +0100 |
paulson |
Indentation
|
changeset |
files
|
| Tue, 07 Mar 2006 16:49:48 +0100 |
paulson |
Tidying and restructuring.
|
changeset |
files
|
| Tue, 07 Mar 2006 16:49:12 +0100 |
paulson |
Tidying and tracing. Handling exn CLAUSE so that errors don't reach top-level.
|
changeset |
files
|