| Sun, 11 Apr 2010 16:51:07 +0200 | haftmann | user interface for abstract datatypes is an attribute, not a command | file | diff | annotate |
| Thu, 11 Mar 2010 14:39:58 +0100 | haftmann | tuned prefixes of ac interpretations | file | diff | annotate |
| Sat, 27 Feb 2010 20:57:08 +0100 | wenzelm | clarified @{const_name} vs. @{const_abbrev}; | file | diff | annotate |
| Fri, 26 Feb 2010 10:57:35 +0100 | haftmann | merged | file | diff | annotate | base |
| Fri, 26 Feb 2010 10:48:20 +0100 | haftmann | implement quotient_of for odl SML code generator | file | diff | annotate |
| Wed, 24 Feb 2010 14:42:28 +0100 | haftmann | bound argument for abstype proposition | file | diff | annotate |
| Wed, 24 Feb 2010 14:34:40 +0100 | haftmann | renamed theory Rational to Rat | file | diff | annotate | base |