| Mon, 20 Sep 2010 16:05:25 +0200 |
wenzelm |
renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
|
file |
diff |
annotate
|
| Fri, 23 Apr 2010 18:30:01 +0200 |
wenzelm |
Item_Net/Named_Thms: export efficient member operation;
|
file |
diff |
annotate
|
| Sun, 08 Nov 2009 16:30:41 +0100 |
wenzelm |
adapted Generic_Data, Proof_Data;
|
file |
diff |
annotate
|
| Thu, 05 Nov 2009 20:40:16 +0100 |
wenzelm |
scalable version of Named_Thms, using Item_Net;
|
file |
diff |
annotate
|
| Thu, 29 Oct 2009 16:05:51 +0100 |
wenzelm |
Named_Thms is not scalable;
|
file |
diff |
annotate
|
| Thu, 02 Jul 2009 17:33:36 +0200 |
wenzelm |
renamed NamedThmsFun to Named_Thms;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2009 15:59:44 +0100 |
wenzelm |
simplified attribute setup;
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 16:47:04 +0100 |
haftmann |
binding replaces bstring
|
file |
diff |
annotate
|
| Sat, 19 Apr 2008 12:04:17 +0200 |
wenzelm |
NamedThmsFun: removed obsolete print command -- facts are accesible via dynamic name;
|
file |
diff |
annotate
|
| Tue, 25 Mar 2008 21:01:03 +0100 |
wenzelm |
add dynamic fact binding;
|
file |
diff |
annotate
|
| Thu, 20 Mar 2008 16:04:34 +0100 |
wenzelm |
export add/del_thm;
|
file |
diff |
annotate
|
| Sat, 06 Oct 2007 16:50:04 +0200 |
wenzelm |
simplified interfaces for outer syntax;
|
file |
diff |
annotate
|
| Wed, 01 Aug 2007 16:55:45 +0200 |
wenzelm |
added toplevel print command;
|
file |
diff |
annotate
|
| Sun, 29 Jul 2007 14:30:03 +0200 |
wenzelm |
Named collections of theorems in canonical order.
|
file |
diff |
annotate
|