2013-10-14 Christian Urban added new slides
2013-10-13 Christian Urban added slides
2013-09-06 Christian Urban restricted fresh_ineq simproc so that it is faster
2013-08-30 Christian Urban updated to lates Isabelle
2013-07-31 Christian Urban added some lemmas
2013-07-01 Christian Urban updated to ne Isabelle
2013-06-04 Christian Urban updated to new Isabelle
Loading...
(0) -3000 -1000 -300 -100 -30 -10 -7 +7 +10 tip