2011-12-15 Christian Urban a bit more on alpha-beta-equated terms
2011-12-14 Christian Urban generated the correct thm-list for showing that qfv are equal to support
2011-12-13 Christian Urban updated to Isabelle 13 Dec
2011-12-06 Christian Urban updated to Isabelle 6 Dec (thanks to Odrej Kuncar)
Loading...
(0) -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 tip