2011-10-19 bulwahn 2011-10-19 removing invocations of the old code generator
2011-07-26 bulwahn 2011-07-26 adding remarks after static inspection of the invocation of the SML code generator
2011-04-16 wenzelm 2011-04-16 eliminated old List.nth; tuned;
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-11-20 wenzelm 2010-11-20 renamed raw "explode" function to "raw_explode" to emphasize its meaning;
2010-09-06 wenzelm 2010-09-06 more explicit HOL-Proofs sessions, including former ex/Hilbert_Classical.thy which works in parallel mode without the antiquotation option "margin" (which is still critical);