| Sat, 27 Feb 2010 23:13:01 +0100 |
wenzelm |
modernized structure Term_Ord;
|
file |
diff |
annotate
|
| Sun, 25 Oct 2009 19:14:25 +0100 |
wenzelm |
export is_concealed;
|
file |
diff |
annotate
|
| Sat, 24 Oct 2009 20:54:08 +0200 |
wenzelm |
maintain explicit name space kind;
|
file |
diff |
annotate
|
| Sat, 24 Oct 2009 19:47:37 +0200 |
wenzelm |
renamed NameSpace to Name_Space -- also to emphasize its subtle change in semantics;
|
file |
diff |
annotate
|
| Sat, 24 Oct 2009 19:22:39 +0200 |
wenzelm |
eliminated separate stamp -- NameSpace.define/merge etc. ensure uniqueness already;
|
file |
diff |
annotate
|
| Mon, 09 Feb 2009 17:25:07 +1100 |
Timothy Bourke |
Nicer names in FindTheorems.
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 16:47:32 +0100 |
haftmann |
binding is alias for Binding.T
|
file |
diff |
annotate
|
| Wed, 31 Dec 2008 15:30:10 +0100 |
wenzelm |
moved term order operations to structure TermOrd (cf. Pure/term_ord.ML);
|
file |
diff |
annotate
|
| Thu, 04 Dec 2008 14:43:33 +0100 |
haftmann |
cleaned up binding module and related code
|
file |
diff |
annotate
|
| Mon, 01 Dec 2008 19:41:16 +0100 |
haftmann |
new Binding module
|
file |
diff |
annotate
|
| Thu, 20 Nov 2008 19:06:03 +0100 |
haftmann |
fact table now using name bindings
|
file |
diff |
annotate
|
| Tue, 05 Aug 2008 13:31:31 +0200 |
wenzelm |
Facts.lookup: return static/dynamic status;
|
file |
diff |
annotate
|
| Thu, 12 Jun 2008 16:41:57 +0200 |
wenzelm |
dest/export_static: content difference;
|
file |
diff |
annotate
|
| Wed, 16 Apr 2008 21:53:00 +0200 |
wenzelm |
removed unused space_of;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2008 18:49:18 +0200 |
wenzelm |
renamed dest to dest_table, and extern to extern table;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2008 16:12:11 +0200 |
wenzelm |
disallow duplicate entries (weak version for merge);
|
file |
diff |
annotate
|
| Tue, 25 Mar 2008 19:39:59 +0100 |
wenzelm |
support dynamic facts;
|
file |
diff |
annotate
|
| Thu, 20 Mar 2008 17:38:53 +0100 |
wenzelm |
added pos_of_ref;
|
file |
diff |
annotate
|
| Thu, 20 Mar 2008 16:04:30 +0100 |
wenzelm |
Facts.Named: include position;
|
file |
diff |
annotate
|
| Wed, 19 Mar 2008 22:27:57 +0100 |
wenzelm |
renamed datatype thmref to Facts.ref, tuned interfaces;
|
file |
diff |
annotate
|
| Mon, 17 Mar 2008 20:51:09 +0100 |
wenzelm |
replaced generic add by add_local/add_global;
|
file |
diff |
annotate
|
| Sat, 15 Mar 2008 22:07:31 +0100 |
wenzelm |
del: hide in name space;
|
file |
diff |
annotate
|
| Sat, 15 Mar 2008 18:08:02 +0100 |
wenzelm |
Environment of named facts (admits overriding). Optional indexing by proposition.
|
file |
diff |
annotate
|