| Fri, 01 Nov 2013 18:51:14 +0100 | haftmann | more simplification rules on unary and binary minus | file | diff | annotate |
| Sun, 18 Aug 2013 18:49:45 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Sun, 23 Jun 2013 21:16:07 +0200 | haftmann | migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier | file | diff | annotate |
| Wed, 22 Aug 2012 22:55:41 +0200 | wenzelm | prefer ML_file over old uses; | file | diff | annotate |
| Sun, 25 Mar 2012 20:15:39 +0200 | huffman | merged fork with new numeral representation (see NEWS) | file | diff | annotate |
| Fri, 23 Jul 2010 10:25:00 +0200 | haftmann | proper subclass instead of sublocale | file | diff | annotate |
| Wed, 12 May 2010 15:27:15 +0200 | haftmann | tuned proofs and fact and class names | file | diff | annotate |