src/HOL/Datatype.ML
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2002-02-21 wenzelm 2002-02-21 theory Option has been assimilated by Datatype;
2001-10-27 wenzelm 2001-10-27 made new-style theory; tuned;
2000-06-22 wenzelm 2000-06-22 bind_thm(s);
1999-08-19 berghofe 1999-08-19 Moved sum_case stuff from Sum to Datatype.