Wed, 13 May 2009 18:41:54 +0200 | haftmann | tuned construction of term_of instances | file | diff | annotate |
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 |