| Tue, 31 Oct 2000 08:53:12 +0100 | nipkow | *** empty log message *** | changeset | files |
| Mon, 30 Oct 2000 18:28:00 +0100 | wenzelm | updated; | changeset | files |
| Mon, 30 Oct 2000 18:26:14 +0100 | wenzelm | tuned goals output; | changeset | files |
| Mon, 30 Oct 2000 18:25:38 +0100 | wenzelm | improved statement bindings for props; | changeset | files |
| Mon, 30 Oct 2000 18:25:10 +0100 | wenzelm | converse: syntax \<inverse>; | changeset | files |
| Mon, 30 Oct 2000 18:24:42 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 30 Oct 2000 18:24:20 +0100 | wenzelm | added ex/PER.thy; | changeset | files |