IntEx.thy
2009-12-03 Christian Urban merged
2009-12-03 Christian Urban merged
2009-12-03 Cezary Kaliszyk Updated the examples
2009-12-03 Christian Urban merged
2009-12-03 Christian Urban deleted some dead code
2009-12-02 Christian Urban deleted now obsolete argument rty everywhere
2009-12-02 Cezary Kaliszyk More experiments with higher order quotients and theorems with non-lifted constants.
less more (0) -30 -10 -7 tip