| Tue, 27 May 2003 17:39:17 +0200 | berghofe | Added pair_const. | changeset | files |
| Tue, 27 May 2003 11:46:29 +0200 | paulson | removed redundant line | changeset | files |
| Tue, 27 May 2003 11:39:03 +0200 | paulson | updating ZF-UNITY with Sidi's new material | changeset | files |
| Mon, 26 May 2003 18:36:15 +0200 | streckem | Introduced distinction wf_prog vs. ws_prog | changeset | files |
| Mon, 26 May 2003 11:42:41 +0200 | kleing | set HOL_PROOF_OBJECTS in settings, not makefile (makes override in user settings possible) | changeset | files |
| Sat, 24 May 2003 19:52:53 +0200 | kleing | fixed | changeset | files |
| Fri, 23 May 2003 17:19:53 +0200 | kleing | make it possible to switch off proof objects for HOL image | changeset | files |
| Fri, 23 May 2003 17:18:10 +0200 | kleing | make it possible to switch off proof objects | changeset | files |