TFL/rules.ML
2001-01-16 wenzelm 2001-01-16 renamed Product_Type.split to split_conv;
2001-01-04 wenzelm 2001-01-04 tuned comment;
2001-01-03 wenzelm 2001-01-03 renamed .sml files to .ML; proper handling of Isabelle exceptions; tuned;