2010-08-25 | Christian Urban | everything now lifts as expected | changeset | files |
2010-08-25 | Christian Urban | now every lemma lifts (even with type variables) | changeset | files |
2010-08-25 | Christian Urban | can now deal with type variables in nominal datatype definitions | changeset | files |
2010-08-22 | Christian Urban | updated to new Isabelle | changeset | files |
Loading... |