src/HOL/Tools/split_rule.ML
2006-01-19 ago setup: theory -> theory;
2006-01-10 ago Attrib.rule;
2005-10-31 ago fold_index replacing foldln
2005-04-07 ago reverted renaming of Some/None in comments and strings;
2005-03-04 ago Removed practically all references to Library.foldr.
2005-03-03 ago Move towards standard functions.
2005-02-13 ago Deleted Library.option type.
2004-06-21 ago Merged in license change from Isabelle2004
2001-10-19 ago got rid of ML proof scripts for Product_Type;
2001-02-03 ago fixed syntax of 'split_format';
2001-02-03 ago simplified 'split_format' syntax;
2001-02-02 ago module setup;
2001-02-01 ago converted to Isar therory, adding attributes complete_split and split_format