| Tue, 28 Nov 2000 16:21:51 +0100 | paulson | added a reference to {sec:products} for ordered pair reasoning | changeset | files |
| Tue, 28 Nov 2000 01:48:07 +0100 | wenzelm | fixed hostname; | changeset | files |
| Tue, 28 Nov 2000 01:23:45 +0100 | wenzelm | detect CVSROOT; | changeset | files |
| Tue, 28 Nov 2000 01:22:56 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 28 Nov 2000 01:11:12 +0100 | wenzelm | added consumes, consumes_default; | changeset | files |
| Tue, 28 Nov 2000 01:10:37 +0100 | wenzelm | resolveq_cases_tac: insert facts; | changeset | files |
| Tue, 28 Nov 2000 01:10:22 +0100 | wenzelm | added "consumes" attribute; | changeset | files |
| Tue, 28 Nov 2000 01:09:40 +0100 | wenzelm | consume facts; | changeset | files |
| Tue, 28 Nov 2000 01:09:13 +0100 | wenzelm | consumes0/1; | changeset | files |
| Tue, 28 Nov 2000 01:08:50 +0100 | wenzelm | RuleCases.save; | changeset | files |
| Mon, 27 Nov 2000 16:40:56 +0100 | nipkow | *** empty log message *** | changeset | files |
| Mon, 27 Nov 2000 11:06:28 +0100 | paulson | deleted unused result intrel_refl | changeset | files |