| Sat, 17 Dec 2011 12:42:10 +0100 | wenzelm | clarified modules that contribute to datatype package; | file | diff | annotate |
| Fri, 16 Dec 2011 21:23:21 +0100 | wenzelm | eliminated old-fashioned Global_Theory.add_thms(s); | file | diff | annotate |
| Thu, 15 Dec 2011 18:08:40 +0100 | wenzelm | clarified module dependencies: Datatype_Data, Datatype_Case, Rep_Datatype; | file | diff | annotate |
| Thu, 15 Dec 2011 17:37:14 +0100 | wenzelm | separate rep_datatype.ML; | file | diff | annotate |