| Thu, 19 Sep 2002 16:09:16 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Thu, 19 Sep 2002 16:01:29 +0200 |
nipkow |
drule: added nRS
|
changeset |
files
|
| Thu, 19 Sep 2002 16:00:27 +0200 |
nipkow |
preserve names of rewrite rules when transforming them
|
changeset |
files
|
| Wed, 18 Sep 2002 18:19:43 +0200 |
kleing |
comments + usage
|
changeset |
files
|
| Wed, 11 Sep 2002 16:55:37 +0200 |
paulson |
Streamlined proofs of instances of Separation
|
changeset |
files
|
| Wed, 11 Sep 2002 16:53:59 +0200 |
paulson |
Bound variable preservation in Collect_cong
|
changeset |
files
|
| Tue, 10 Sep 2002 16:51:31 +0200 |
paulson |
renamed M_triv_axioms to M_trivial and M_axioms to M_basic
|
changeset |
files
|
| Tue, 10 Sep 2002 16:47:17 +0200 |
paulson |
tweaks
|
changeset |
files
|
| Mon, 09 Sep 2002 17:28:29 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Mon, 09 Sep 2002 17:07:12 +0200 |
nipkow |
bug in counter example finder
|
changeset |
files
|
| Sat, 07 Sep 2002 22:04:28 +0200 |
paulson |
conversion of ZF/Integ/{Int,Bin} to Isar scripts
|
changeset |
files
|
| Thu, 05 Sep 2002 14:03:03 +0200 |
paulson |
added checking so that (rename_tac "x y") is rejected, since
|
changeset |
files
|