Fri, 27 Aug 2010 19:34:23 +0200 |
renamed class/constant eq to equal; tuned some instantiations
|
file | diff | annotate |
Mon, 09 Aug 2010 12:53:16 +0200 |
replace "setup" with "declaration"
|
file | diff | annotate |
Fri, 06 Aug 2010 17:23:11 +0200 |
adapt occurrences of renamed Nitpick functions
|
file | diff | annotate |
Fri, 09 Jul 2010 08:11:10 +0200 |
nicer xsymbol syntax for fcomp and scomp
|
file | diff | annotate |
Fri, 11 Jun 2010 17:05:11 +0200 |
adjust Nitpick's handling of "<" on "rat"s and "reals"
|
file | diff | annotate |
Thu, 27 May 2010 15:15:20 +0200 |
constant Rat.normalize needs to be qualified;
|
file | diff | annotate |
Tue, 27 Apr 2010 09:49:40 +0200 |
explicit is better than implicit
|
file | diff | annotate |
Mon, 26 Apr 2010 15:37:50 +0200 |
use new classes (linordered_)field_inverse_zero
|
file | diff | annotate |
Mon, 26 Apr 2010 11:34:17 +0200 |
class division_ring_inverse_zero
|
file | diff | annotate |
Fri, 23 Apr 2010 15:18:00 +0200 |
separated instantiation of division_by_zero
|
file | diff | annotate |
Sun, 11 Apr 2010 16:51:07 +0200 |
user interface for abstract datatypes is an attribute, not a command
|
file | diff | annotate |
Thu, 11 Mar 2010 14:39:58 +0100 |
tuned prefixes of ac interpretations
|
file | diff | annotate |
Sat, 27 Feb 2010 20:57:08 +0100 |
clarified @{const_name} vs. @{const_abbrev};
|
file | diff | annotate |
Fri, 26 Feb 2010 10:57:35 +0100 |
merged
|
file | diff | annotate | base |
Fri, 26 Feb 2010 10:48:20 +0100 |
implement quotient_of for odl SML code generator
|
file | diff | annotate |
Wed, 24 Feb 2010 14:42:28 +0100 |
bound argument for abstype proposition
|
file | diff | annotate |
Wed, 24 Feb 2010 14:34:40 +0100 |
renamed theory Rational to Rat
|
file | diff | annotate | base |