| Fri, 10 Nov 2000 19:00:51 +0100 | wenzelm | added atomize_eq; | changeset | files |
| Fri, 10 Nov 2000 19:00:22 +0100 | wenzelm | val atomize = thms "atomize'"; | changeset | files |
| Fri, 10 Nov 2000 16:31:28 +0100 | nipkow | > etc | changeset | files |
| Fri, 10 Nov 2000 16:26:44 +0100 | nipkow | new: > and >= | changeset | files |
| Fri, 10 Nov 2000 15:05:09 +0100 | nipkow | rule inversion | changeset | files |
| Fri, 10 Nov 2000 09:17:54 +0100 | nipkow | JMB -> JMPB. Email von Johannes Pfeifroth. | changeset | files |
| Thu, 09 Nov 2000 21:38:30 +0100 | wenzelm | updated; | changeset | files |
| Thu, 09 Nov 2000 21:38:00 +0100 | wenzelm | fixed \title: convert "_" to "-"; | changeset | files |