Thu, 25 Sep 2008 09:28:03 +0200 | haftmann | discontinued special treatment of op = vs. eq_class.eq | file | diff | annotate |
Tue, 23 Sep 2008 18:11:42 +0200 | haftmann | renamed rtype to typerep | file | diff | annotate |
Mon, 22 Sep 2008 13:56:01 +0200 | haftmann | absolute Library path | file | diff | annotate |
Tue, 16 Sep 2008 16:13:06 +0200 | haftmann | moved term_of syntax to separate theory | file | diff | annotate |
Tue, 16 Sep 2008 09:21:24 +0200 | haftmann | evaluation using code generator | file | diff | annotate |