2012-02-19 | Christian Urban | updated to new Isabelle | changeset | files |
2012-02-15 | Christian Urban | remerged | changeset | files |
2012-02-15 | Christian Urban | merged | changeset | files |
2012-02-15 | Christian Urban | updated to Isabelle 15 Feb | changeset | files |
2012-01-21 | Christian Urban | updated part about beta in Tactiacal section | changeset | files |
2012-01-21 | Christian Urban | merged | changeset | files |
2012-01-21 | Christian Urban | modified the passage on beta-contractions | changeset | files |
2012-01-16 | Christian Urban | tuned | changeset | files |
2011-11-30 | Christian Urban | updated to Isabelle 30 November | changeset | files |
2011-11-25 | Christian Urban | merged | changeset | files |
2011-11-24 | Christian Urban | updated to Isabelle 24 November | changeset | files |
2011-11-17 | Christian Urban | tuned | changeset | files |
Loading... |