src/Tools/SML/Examples.thy
2014-04-19 wenzelm 2014-04-19 added command 'SML_export' and 'SML_import' for exchange of toplevel bindings;
2014-03-25 wenzelm 2014-03-25 some SML examples;