Sun, 06 Nov 2011 11:16:37 +0100 | blanchet | renamed experimental systems | changeset | files |
Sun, 06 Nov 2011 11:13:47 +0100 | blanchet | repaired quantification over type variables for non-TFF1/THF encodings | changeset | files |
Sun, 06 Nov 2011 18:42:15 +0100 | wenzelm | misc tuning and modernization; | changeset | files |