2011-03-16 Christian Urban ported changes from function package....needs Isabelle 16 March or above
2011-03-14 Christian Urban more on the pearl paper
2011-03-14 Christian Urban equivariance for All and Ex can be proved in terms of their definition
2011-03-11 Christian Urban more on the paper
Loading...
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip