2013-10-14 | Christian Urban |
added new slides | changeset | files |
2013-10-13 | Christian Urban |
added slides | changeset | files |
2013-09-06 | Christian Urban |
restricted fresh_ineq simproc so that it is faster | changeset | files |
2013-08-30 | Christian Urban |
updated to lates Isabelle | changeset | files |
2013-07-31 | Christian Urban |
added some lemmas | changeset | files |
2013-07-01 | Christian Urban |
updated to ne Isabelle | changeset | files |
2013-06-04 | Christian Urban |
updated to new Isabelle | changeset | files |
Loading... |