Tue, 02 Jan 2018 16:40:54 +0100 | blanchet | updated dependencies + compile | changeset | files |
Tue, 02 Jan 2018 16:17:13 +0100 | blanchet | moved 'realizers' into their own theory, now that they are decupled from the old datatype construction | changeset | files |
Tue, 02 Jan 2018 16:11:20 +0100 | blanchet | removed 'old_datatype' command | changeset | files |