| Fri, 30 Mar 2001 18:18:22 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Fri, 30 Mar 2001 18:12:26 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Fri, 30 Mar 2001 16:12:57 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Fri, 30 Mar 2001 13:29:16 +0200 |
paulson |
quantifier instantiation
|
changeset |
files
|
| Fri, 30 Mar 2001 12:31:10 +0200 |
paulson |
the one-point rule for bounded quantifiers
|
changeset |
files
|
| Thu, 29 Mar 2001 13:59:54 +0200 |
nipkow |
generalization of 1 point rules for ALL
|
changeset |
files
|
| Thu, 29 Mar 2001 12:26:37 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Thu, 29 Mar 2001 10:44:37 +0200 |
paulson |
misc tidying; changing the predicate isSymKey to the set symKeys
|
changeset |
files
|
| Wed, 28 Mar 2001 13:40:06 +0200 |
nipkow |
Got rid of is_dfa
|
changeset |
files
|
| Wed, 28 Mar 2001 13:39:50 +0200 |
nipkow |
MicroJava/BV dependencies incomplete
|
changeset |
files
|
| Tue, 27 Mar 2001 13:00:30 +0200 |
nipkow |
fixed bug in tactic for ball 1 point simproc
|
changeset |
files
|
| Tue, 27 Mar 2001 11:27:06 +0200 |
paulson |
Vos
|
changeset |
files
|
| Mon, 26 Mar 2001 19:37:31 +0200 |
nipkow |
simplified proofs
|
changeset |
files
|
| Mon, 26 Mar 2001 16:31:38 +0200 |
nipkow |
simplified proofs
|
changeset |
files
|
| Mon, 26 Mar 2001 12:51:14 +0200 |
nipkow |
I forgot a few bases cases for the 1-point rules...
|
changeset |
files
|
| Fri, 23 Mar 2001 12:10:05 +0100 |
paulson |
shortening and streamlining of proofs
|
changeset |
files
|