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