Tue, 25 Mar 2008 19:39:59 +0100 | support dynamic facts; | file | diff | annotate |
Thu, 20 Mar 2008 17:38:53 +0100 | added pos_of_ref; | file | diff | annotate |
Thu, 20 Mar 2008 16:04:30 +0100 | Facts.Named: include position; | file | diff | annotate |
Wed, 19 Mar 2008 22:27:57 +0100 | renamed datatype thmref to Facts.ref, tuned interfaces; | file | diff | annotate |
Mon, 17 Mar 2008 20:51:09 +0100 | replaced generic add by add_local/add_global; | file | diff | annotate |
Sat, 15 Mar 2008 22:07:31 +0100 | del: hide in name space; | file | diff | annotate |
Sat, 15 Mar 2008 18:08:02 +0100 | Environment of named facts (admits overriding). Optional indexing by proposition. | file | diff | annotate |