doc-src/IsarImplementation/Thy/Prelim.thy
Sun, 31 Oct 2010 13:26:37 +0100 wenzelm syntax category "real" subsumes plain "int";
Sat, 30 Oct 2010 16:33:58 +0200 wenzelm support for real valued configuration options;
less more (0) -30 -10 -2 tip