| Tue, 07 Sep 2010 10:05:19 +0200 | expand_fun_eq -> ext_iff | file | diff | annotate |
| Tue, 01 Jun 2010 10:30:53 +0200 | added Scala code setup | file | diff | annotate |
| Tue, 14 Jul 2009 16:27:32 +0200 | prefer code_inline over code_unfold; use code_unfold_post where appropriate | file | diff | annotate |
| Tue, 14 Jul 2009 10:54:04 +0200 | code attributes use common underscore convention | file | diff | annotate |
| Mon, 23 Mar 2009 08:14:24 +0100 | Main is (Complex_Main) base entry point in library theories | file | diff | annotate |
| Fri, 10 Oct 2008 06:45:53 +0200 | `code func` now just `code` | file | diff | annotate |
| Thu, 26 Jun 2008 10:07:01 +0200 | established Plain theory and image | file | diff | annotate |
| Fri, 12 Oct 2007 10:26:18 +0200 | added | file | diff | annotate |