src/HOL/Product_Type.thy
2001-09-27 wenzelm 2001-09-27 renamed "()" to Unity, made local;
2001-08-09 oheimb 2001-08-09 added pair_imageI (also as intro rule)
2001-07-25 paulson 2001-07-25 partial restructuring to reduce dependence on Axiom of Choice
2001-07-15 wenzelm 2001-07-15 tuned;
2001-02-02 wenzelm 2001-02-02 added hidden internal_split constant; tuned;
2001-02-01 oheimb 2001-02-01 converted to Isar therory, adding attributes complete_split and split_format
2000-10-23 wenzelm 2000-10-23 tuned deps;
2000-10-12 nipkow 2000-10-12 *** empty log message ***