Sun, 14 Jan 2018 15:17:51 +0100 | wenzelm | clarified SML (no formal comments) vs. Isabelle/ML (arbitrary comments); | changeset | files |
Sun, 14 Jan 2018 15:06:27 +0100 | wenzelm | clarified signature; | changeset | files |
Sun, 14 Jan 2018 14:11:02 +0100 | wenzelm | clarified modules: uniform notion of formal comments; | changeset | files |