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 |