2011-03-16 | Christian Urban | ported changes from function package....needs Isabelle 16 March or above | changeset | files |
2011-03-14 | Christian Urban | more on the pearl paper | changeset | files |
2011-03-14 | Christian Urban | equivariance for All and Ex can be proved in terms of their definition | changeset | files |
2011-03-11 | Christian Urban | more on the paper | changeset | files |
Loading... |