2011-12-15 | Christian Urban | a bit more on alpha-beta-equated terms | changeset | files |
2011-12-14 | Christian Urban | generated the correct thm-list for showing that qfv are equal to support | changeset | files |
2011-12-13 | Christian Urban | updated to Isabelle 13 Dec | changeset | files |
2011-12-06 | Christian Urban | updated to Isabelle 6 Dec (thanks to Odrej Kuncar) | changeset | files |
Loading... |