| Fri, 28 Oct 2005 22:27:56 +0200 | wenzelm | renamed Goal.norm_hhf_rule to Goal.norm_hhf; | changeset | files |
| Fri, 28 Oct 2005 22:27:55 +0200 | wenzelm | renamed Goal constant to prop, more general protect/unprotect interfaces; | changeset | files |
| Fri, 28 Oct 2005 22:27:54 +0200 | wenzelm | added add_local/add_global; | changeset | files |