| Wed, 18 Oct 2000 23:28:02 +0200 | wenzelm | The accessible part of a relation (from HOL/Induct/Acc); | changeset | files |
| Wed, 18 Oct 2000 23:27:16 +0200 | wenzelm | \isabellecontext: output_syms; | changeset | files |
| Wed, 18 Oct 2000 23:26:42 +0200 | wenzelm | restart: do not reset theory loader path; | changeset | files |
| Wed, 18 Oct 2000 23:24:39 +0200 | wenzelm | * HOL/Library: a collection of generic theories to be used together | changeset | files |
| Wed, 18 Oct 2000 17:47:01 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 18 Oct 2000 17:19:24 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 18 Oct 2000 17:19:18 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 18 Oct 2000 12:30:59 +0200 | paulson | wellfounded -> well-founded | changeset | files |
| Tue, 17 Oct 2000 22:25:23 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 17 Oct 2000 22:25:03 +0200 | wenzelm | "Deriving rules"; | changeset | files |
| Tue, 17 Oct 2000 22:22:56 +0200 | wenzelm | improved; | changeset | files |
| Tue, 17 Oct 2000 16:59:02 +0200 | nipkow | *** empty log message *** | changeset | files |
| Tue, 17 Oct 2000 13:28:57 +0200 | nipkow | *** empty log message *** | changeset | files |
| Tue, 17 Oct 2000 10:45:51 +0200 | paulson | renaming of contrapos rules | changeset | files |