src/Pure/Isar/constdefs.ML
2006-10-07 wenzelm 2006-10-07 Thm.def_name_optional; ProofDisplay.pretty_consts;
2006-02-06 wenzelm 2006-02-06 LocalDefs.cert_def; tuned;
2006-01-31 wenzelm 2006-01-31 tuned LocalTheory.pretty_consts;
2006-01-25 wenzelm 2006-01-25 tuned comment;
2006-01-24 wenzelm 2006-01-24 LocalTheory.pretty_consts;
2006-01-21 wenzelm 2006-01-21 simplified type attribute;
2006-01-13 wenzelm 2006-01-13 uniform handling of fixes; tuned;
2006-01-10 wenzelm 2006-01-10 Specification.pretty_consts ctxt;
2006-01-07 wenzelm 2006-01-07 Specification.pretty_consts;
2005-12-06 haftmann 2005-12-06 re-oriented some result tuples in PureThy
2005-10-15 wenzelm 2005-10-15 tuned;
2005-08-16 wenzelm 2005-08-16 replaced sign by thy;
2005-05-17 wenzelm 2005-05-17 tuned;
2005-04-13 wenzelm 2005-04-13 *** MESSAGE REFERS TO PREVIOUS VERSION *** Attrib.src;
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;