| #
50fe8111 |
|
28-Oct-2011 |
wenzelm <none@none> |
tuned Named_Thms: proper binding;
|
| #
308c65f5 |
|
20-Sep-2010 |
wenzelm <none@none> |
renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
--HG--
rename : src/Pure/pure_thy.ML => src/Pure/global_theory.ML
|
| #
4060245b |
|
23-Apr-2010 |
wenzelm <none@none> |
Item_Net/Named_Thms: export efficient member operation;
|
| #
dfa769e1 |
|
08-Nov-2009 |
wenzelm <none@none> |
adapted Generic_Data, Proof_Data;
tuned;
|
| #
439813d7 |
|
05-Nov-2009 |
wenzelm <none@none> |
scalable version of Named_Thms, using Item_Net;
|
| #
d86907a4 |
|
29-Oct-2009 |
wenzelm <none@none> |
Named_Thms is not scalable;
|
| #
e16978f9 |
|
02-Jul-2009 |
wenzelm <none@none> |
renamed NamedThmsFun to Named_Thms;
|
| #
ca494c06 |
|
15-Mar-2009 |
wenzelm <none@none> |
simplified attribute setup;
|
| #
5061c2dd |
|
21-Jan-2009 |
haftmann <none@none> |
binding replaces bstring
|
| #
494da7c5 |
|
18-Apr-2008 |
wenzelm <none@none> |
NamedThmsFun: removed obsolete print command -- facts are accesible via dynamic name;
|
| #
93b8905e |
|
25-Mar-2008 |
wenzelm <none@none> |
add dynamic fact binding;
|
| #
d1210c63 |
|
20-Mar-2008 |
wenzelm <none@none> |
export add/del_thm;
|
| #
8f12f2a9 |
|
06-Oct-2007 |
wenzelm <none@none> |
simplified interfaces for outer syntax;
|
| #
81b3a1f0 |
|
01-Aug-2007 |
wenzelm <none@none> |
added toplevel print command;
|
| #
590b4d92 |
|
29-Jul-2007 |
wenzelm <none@none> |
Named collections of theorems in canonical order.
|