src/HOL/Product_Type.ML
2001-10-19 wenzelm 2001-10-19 got rid of ML proof scripts for Product_Type;
2001-01-30 berghofe 2001-01-30 Fixed bug in complete_split_rule_var.
2001-01-29 berghofe 2001-01-29 New function complete_split_rule for complete splitting of partially splitted rules (as generated by inductive definition package).
2001-01-16 wenzelm 2001-01-16 renamed Product_Type.split to split_conv;
2001-01-09 nipkow 2001-01-09 `` -> and ``` -> ``
2001-01-09 wenzelm 2001-01-09 split_all operation;
2001-01-07 wenzelm 2001-01-07 tuned split_all_tac;
2000-11-29 nipkow 2000-11-29 expand_split_asm -> split_split_asm
2000-10-12 nipkow 2000-10-12 *** empty log message ***