| Wed, 06 Oct 1993 14:45:04 +0100 | clasohm | changed filenames to lower case name of theory the file contains | changeset | files |
| Wed, 06 Oct 1993 14:21:36 +0100 | clasohm | rename list-fn to listfn | changeset | files |
| Wed, 06 Oct 1993 14:19:39 +0100 | clasohm | changed "list-fn" to "listfn" | changeset | files |
| Wed, 06 Oct 1993 10:33:33 +0100 | lcp | tctical/dummy_quant_rl: specifies type prop to avoid the type variable | changeset | files |
| Wed, 06 Oct 1993 09:58:53 +0100 | lcp | Retrying yet again after network problems | changeset | files |
| Tue, 05 Oct 1993 17:49:23 +0100 | lcp | Modification of examples for the new operators, < and le. | changeset | files |
| Tue, 05 Oct 1993 17:27:05 +0100 | lcp | Retry of the previous commit (network outage) | changeset | files |
| Tue, 05 Oct 1993 17:15:28 +0100 | lcp | Retry of the previous commit (network outage) | changeset | files |