src/Pure/Tools/named_thms.ML
2011-10-28 wenzelm 2011-10-28 tuned Named_Thms: proper binding;
2010-09-20 wenzelm 2010-09-20 renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
2010-04-23 wenzelm 2010-04-23 Item_Net/Named_Thms: export efficient member operation;
2009-11-08 wenzelm 2009-11-08 adapted Generic_Data, Proof_Data; tuned;
2009-11-05 wenzelm 2009-11-05 scalable version of Named_Thms, using Item_Net;
2009-10-29 wenzelm 2009-10-29 Named_Thms is not scalable;
2009-07-02 wenzelm 2009-07-02 renamed NamedThmsFun to Named_Thms;
2009-03-15 wenzelm 2009-03-15 simplified attribute setup;
2009-01-21 haftmann 2009-01-21 binding replaces bstring
2008-04-19 wenzelm 2008-04-19 NamedThmsFun: removed obsolete print command -- facts are accesible via dynamic name;
2008-03-25 wenzelm 2008-03-25 add dynamic fact binding;
2008-03-20 wenzelm 2008-03-20 export add/del_thm;
2007-10-06 wenzelm 2007-10-06 simplified interfaces for outer syntax;
2007-08-01 wenzelm 2007-08-01 added toplevel print command;
2007-07-29 wenzelm 2007-07-29 Named collections of theorems in canonical order.