| Wed, 12 Nov 1997 16:20:49 +0100 |
wenzelm |
structure BasisLibrary;
|
changeset |
files
|
| Wed, 12 Nov 1997 16:20:39 +0100 |
wenzelm |
added Thy/file.ML, Thy/use.ML;
|
changeset |
files
|
| Wed, 12 Nov 1997 12:38:12 +0100 |
oheimb |
renamed split_prem_tac to split_asm_tac
|
changeset |
files
|
| Wed, 12 Nov 1997 12:34:43 +0100 |
oheimb |
restored last version
|
changeset |
files
|
| Wed, 12 Nov 1997 12:30:15 +0100 |
oheimb |
simpdata.ML: renamed split_prem_tac to split_asm_tac, added split_if_asm
|
changeset |
files
|
| Wed, 12 Nov 1997 12:24:55 +0100 |
oheimb |
renamed split_T_case_prem to split_T_case_asm
|
changeset |
files
|
| Wed, 12 Nov 1997 12:23:37 +0100 |
oheimb |
renamed split_prem_tac to split_asm_tac
|
changeset |
files
|
| Wed, 12 Nov 1997 12:22:56 +0100 |
oheimb |
renamed split_prem_tac to split_asm_tac
|
changeset |
files
|
| Tue, 11 Nov 1997 16:04:14 +0100 |
paulson |
Fixed indentation
|
changeset |
files
|
| Tue, 11 Nov 1997 15:45:56 +0100 |
paulson |
Rationalized the theorem if_image_distrib.
|
changeset |
files
|
| Tue, 11 Nov 1997 12:30:51 +0100 |
paulson |
Fixed indentation
|
changeset |
files
|
| Tue, 11 Nov 1997 11:16:18 +0100 |
paulson |
Fixed spelling error
|
changeset |
files
|
| Tue, 11 Nov 1997 11:15:51 +0100 |
paulson |
Made some proofs more robust
|
changeset |
files
|
| Tue, 11 Nov 1997 11:12:37 +0100 |
paulson |
Now applies "map negOfGoal" to lits when expanding haz rules.
|
changeset |
files
|
| Mon, 10 Nov 1997 15:25:12 +0100 |
wenzelm |
ASCII-fied;
|
changeset |
files
|
| Mon, 10 Nov 1997 15:06:58 +0100 |
oheimb |
polished definition of find_index_eq
|
changeset |
files
|
| Mon, 10 Nov 1997 15:05:41 +0100 |
wenzelm |
check files for non-ASCII characters;
|
changeset |
files
|
| Mon, 10 Nov 1997 14:57:31 +0100 |
oheimb |
replaced 8bit characters
|
changeset |
files
|
| Mon, 10 Nov 1997 14:30:35 +0100 |
wenzelm |
fixed LAM<...> syntax;
|
changeset |
files
|
| Mon, 10 Nov 1997 11:47:32 +0100 |
wenzelm |
fixed spelling;
|
changeset |
files
|
| Fri, 07 Nov 1997 18:05:25 +0100 |
oheimb |
added split_prem_tac
|
changeset |
files
|
| Fri, 07 Nov 1997 18:02:15 +0100 |
oheimb |
changed libraray function find to find_index_eq, currying it
|
changeset |
files
|
| Fri, 07 Nov 1997 17:51:26 +0100 |
oheimb |
added contrapos
|
changeset |
files
|
| Fri, 07 Nov 1997 17:51:10 +0100 |
oheimb |
added contrapos2
|
changeset |
files
|