Fri, 10 Oct 2008 06:45:53 +0200 | haftmann | `code func` now just `code` | file | diff | annotate |
Mon, 29 Sep 2008 10:58:01 +0200 | wenzelm | LocalTheory.exit_global; | file | diff | annotate |
Fri, 26 Sep 2008 09:10:02 +0200 | haftmann | removed obsolete name convention "func" | file | diff | annotate |
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 |