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 |