src/ZF/Tools/ind_cases.ML
2006-01-21 wenzelm 2006-01-21 simplified type attribute;
2006-01-19 wenzelm 2006-01-19 setup: theory -> theory;
2006-01-14 wenzelm 2006-01-14 sane ERROR handling;
2005-12-16 haftmann 2005-12-16 re-arranged tuples (theory * 'a) to ('a * theory) in Pure
2005-09-15 wenzelm 2005-09-15 TableFun/Symtab: curried lookup and update;
2005-09-01 wenzelm 2005-09-01 curried_lookup/update;
2005-08-16 wenzelm 2005-08-16 OuterKeyword;
2005-06-17 wenzelm 2005-06-17 accomodate change of TheoryDataFun;
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-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-07-11 wenzelm 2004-07-11 local_cla/simpset_of;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2002-02-12 wenzelm 2002-02-12 got rid of explicit marginal comments (now stripped earlier from input);
2002-01-11 wenzelm 2002-01-11 IsarThy.theorems_i;
2001-12-29 wenzelm 2001-12-29 'inductive_cases': support 'and' form;
2001-11-28 wenzelm 2001-11-28 theory data: removed obsolete finish method;
2001-11-13 wenzelm 2001-11-13 Generic inductive cases facility for (co)inductive definitions.