| Fri, 07 Mar 1997 09:42:26 +0100 |
wenzelm |
pass xterm mode by default;
|
changeset |
files
|
| Thu, 06 Mar 1997 16:06:31 +0100 |
pusch |
Minor changes due to primrec definition for ^
|
changeset |
files
|
| Thu, 06 Mar 1997 16:06:08 +0100 |
pusch |
primrec definition for ^
|
changeset |
files
|
| Thu, 06 Mar 1997 16:05:32 +0100 |
pusch |
Minor changes due to primrec definition for nth
|
changeset |
files
|
| Thu, 06 Mar 1997 16:04:23 +0100 |
pusch |
primrec definition for nth
|
changeset |
files
|
| Thu, 06 Mar 1997 12:32:58 +0100 |
wenzelm |
Oops, forgot to remove -x again;
|
changeset |
files
|
| Thu, 06 Mar 1997 12:30:32 +0100 |
wenzelm |
added ISABELLE_HOME normalization;
|
changeset |
files
|
| Thu, 06 Mar 1997 12:28:17 +0100 |
wenzelm |
even more robust and user friendly invocation (no longer requieres
|
changeset |
files
|
| Wed, 05 Mar 1997 17:15:31 +0100 |
wenzelm |
improved DESCRIPTION;
|
changeset |
files
|
| Wed, 05 Mar 1997 17:13:56 +0100 |
wenzelm |
added -a, -b options;
|
changeset |
files
|
| Wed, 05 Mar 1997 14:19:34 +0100 |
wenzelm |
*** empty log message ***
|
changeset |
files
|
| Wed, 05 Mar 1997 13:40:41 +0100 |
wenzelm |
*** empty log message ***
|
changeset |
files
|
| Wed, 05 Mar 1997 13:37:16 +0100 |
wenzelm |
*** empty log message ***
|
changeset |
files
|
| Wed, 05 Mar 1997 10:19:42 +0100 |
paulson |
Added comment
|
changeset |
files
|
| Wed, 05 Mar 1997 10:08:32 +0100 |
paulson |
Now uses eta_contract_atom for greater speed
|
changeset |
files
|
| Wed, 05 Mar 1997 10:07:04 +0100 |
paulson |
Eta-expanded declarations of addSIs2, etc., to avoid polymorphism errors
|
changeset |
files
|