| 2010-09-27 | Christian Urban | added simp rules for prod_fv and prod_alpha | changeset | files |
| 2010-09-26 | Christian Urban | a few more words about Ott | changeset | files |
| 2010-09-25 | Christian Urban | lifted size_thms and exported them as <name>.size | changeset | files |
| 2010-09-25 | Christian Urban | cleaned up two examples | changeset | files |
| 2010-09-25 | Christian Urban | added example about datatypes | changeset | files |
| 2010-09-23 | Christian Urban | updated to Isabelle 22 Sept | changeset | files |
| 2010-09-22 | Christian Urban | removed dead code | changeset | files |
| Loading... | |||