doc-src/IsarImplementation/Thy/ML.thy
Mon, 18 Oct 2010 12:33:13 +0100 wenzelm more on "Basic data types";
Sun, 17 Oct 2010 20:54:30 +0100 wenzelm more on "Integers";
Sun, 17 Oct 2010 20:25:36 +0100 wenzelm use continental paragraph style, which works better with mixture of (in)formal text;
less more (0) -30 -10 -3 tip