Thu, 04 Dec 2008 14:43:33 +0100 | haftmann | cleaned up binding module and related code | file | diff | annotate |
Tue, 23 Sep 2008 18:11:42 +0200 | haftmann | renamed rtype to typerep | file | diff | annotate |
Wed, 17 Sep 2008 11:42:25 +0200 | haftmann | moved term_of syntax to separate theory | file | diff | annotate |