src/Pure/Isar/constdefs.ML
2005-04-13 wenzelm 2005-04-13 *** empty log message ***
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-06-29 kleing 2004-06-29 license change to BSD
2004-05-07 wenzelm 2004-05-07 be liberal about constant names;
2004-04-23 wenzelm 2004-04-23 improved messages;
2004-04-22 wenzelm 2004-04-22 'constdefs' with automatic type-inference and structure context;