| Thu, 13 Nov 2008 22:06:36 +0100 | wenzelm | renamed "Rules" to "Object-level rules"; | file | diff | annotate |
| Thu, 23 Oct 2008 15:28:01 +0200 | wenzelm | renamed Thm.get_axiom_i to Thm.axiom; | file | diff | annotate |
| Thu, 18 Sep 2008 19:39:44 +0200 | wenzelm | simplified oracle interface; | file | diff | annotate |
| Wed, 03 Sep 2008 17:47:30 +0200 | wenzelm | Sign.declare_const: Name.binding; | file | diff | annotate |