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 |
Tue, 05 Oct 1993 15:32:29 +0100 | lcp | ordinal: DEFINITION of < and le to replace : and <= on ordinals! Many | changeset | files |