| 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
|