Mon, 08 Dec 2014 15:59:30 +0100 | wenzelm | some special cases for official SML, to treat Isabelle symbols like raw characters; | changeset | files |
Mon, 08 Dec 2014 15:21:57 +0100 | wenzelm | tuned comment; | changeset | files |
Mon, 08 Dec 2014 11:50:04 +0100 | wenzelm | clarified Isabelle/ML strings (refining 72238ea2201c); | changeset | files |