| 2012-01-03 | Christian Urban | updated to explicit set type constructor (post Isabelle 3rd January) | changeset | files |
| 2012-01-03 | Christian Urban | proved that generalisation is closed under substitution | changeset | files |
| 2012-01-02 | Christian Urban | added definition for generalisation of type schemes (for paper) | changeset | files |
| 2011-12-29 | Christian Urban | added two eqvt lemmas for fset-operators | changeset | files |
| 2011-12-29 | Christian Urban | separated the two versions of type schemes into two files | changeset | files |
| 2011-12-29 | Christian Urban | added notes by referees to comment about our changes | changeset | files |
| 2011-12-29 | Christian Urban | made the paper running again | changeset | files |
| 2011-12-23 | Christian Urban | included Pi theory in tests | changeset | files |
| Loading... | |||