| 2012-04-12 | Christian Urban | another iteration of the lmcs paper | changeset | files |
| 2012-04-10 | Christian Urban | moved lift_raw_const from Quotient to Nominal | changeset | files |
| 2012-04-10 | Christian Urban | updated to latest changes (10 April) to quotient package (lift_raw_const only takes dummy theorem TrueI....in the future this will not work anymore) | changeset | files |
| 2012-04-10 | Christian Urban | slight polishing on Quotient paper | changeset | files |
| 2012-04-10 | Christian Urban | ditto | changeset | files |
| 2012-04-10 | Christian Urban | some slight polishing on the LMCS paper | changeset | files |
| 2012-04-04 | Christian Urban | merged | changeset | files |
| 2012-04-04 | Christian Urban | updated to Isabelle version April 1 | changeset | files |
| Loading... | |||