doc-src/IsarImplementation/Thy/Prelim.thy
Sun, 31 Oct 2010 13:26:37 +0100 wenzelm syntax category "real" subsumes plain "int";
less more (0) -30 -10 -1 tip