| Wed, 02 Dec 2009 17:53:36 +0100 | haftmann | subst_signatures | file | diff | annotate |
| Tue, 03 Nov 2009 17:06:08 +0100 | haftmann | pretty name for ==> | file | diff | annotate |
| Mon, 26 Oct 2009 10:51:42 +0100 | haftmann | tuned | file | diff | annotate |
| Sun, 25 Oct 2009 20:54:21 +0100 | wenzelm | maintain theory name via name space, not tags; | file | diff | annotate |
| Tue, 20 Oct 2009 20:54:31 +0200 | wenzelm | uniform use of Integer.min/max; | file | diff | annotate |
| Wed, 14 Oct 2009 13:56:56 +0200 | haftmann | sharpened name | file | diff | annotate |
| Wed, 14 Oct 2009 12:20:01 +0200 | haftmann | more explicit notion of canonized code equations | file | diff | annotate |
| Mon, 12 Oct 2009 16:16:44 +0200 | haftmann | added add_tyconames; tuned | file | diff | annotate |