| Fri, 06 Aug 1999 22:32:27 +0200 | wenzelm | added pretend_use; | changeset | files |
| Fri, 06 Aug 1999 22:30:42 +0200 | wenzelm | simplified handling of ML file; | changeset | files |
| Fri, 06 Aug 1999 17:29:43 +0200 | paulson | the whole file is now loaded only if SVC is enabled | changeset | files |
| Fri, 06 Aug 1999 17:29:18 +0200 | paulson | re-organization of theorems from Alloc and PPROD, partly into new theory | changeset | files |