Mon, 10 Dec 2007 11:24:06 +0100 | haftmann | explicit import of theory Main | file | diff | annotate |
Mon, 05 Nov 2007 17:48:17 +0100 | ballarin | Interpretation with named equations. | file | diff | annotate |
Wed, 10 Oct 2007 17:31:53 +0200 | wenzelm | proper latex antiquotations instead of adhoc escapes; | file | diff | annotate |
Tue, 24 Jul 2007 15:20:49 +0200 | haftmann | renamed lcm_lowest to lcm_least | file | diff | annotate |
Mon, 23 Jul 2007 13:48:30 +0200 | ballarin | interpretation: equations are propositions not pairs of terms; | file | diff | annotate |
Sun, 03 Jun 2007 23:16:47 +0200 | wenzelm | tuned document; | file | diff | annotate |
Fri, 20 Apr 2007 16:55:38 +0200 | ballarin | Interpretation equations applied to attributes | file | diff | annotate |
Sat, 14 Apr 2007 17:36:01 +0200 | wenzelm | do not enable Toplevel.debug globally; | file | diff | annotate |
Fri, 13 Apr 2007 10:00:04 +0200 | ballarin | New file for locale regression tests. | file | diff | annotate |