| Thu, 18 Oct 2007 09:20:55 +0200 | haftmann | localized mono predicate | file | diff | annotate |
| Tue, 16 Oct 2007 23:12:45 +0200 | haftmann | global class syntax | file | diff | annotate |
| Tue, 09 Oct 2007 00:20:13 +0200 | wenzelm | generic Syntax.pretty/string_of operations; | file | diff | annotate |
| Sat, 06 Oct 2007 16:50:04 +0200 | wenzelm | simplified interfaces for outer syntax; | file | diff | annotate |
| Sat, 29 Sep 2007 08:58:51 +0200 | haftmann | proper syntax during class specification | file | diff | annotate |
| Thu, 27 Sep 2007 17:28:05 +0200 | ballarin | Fixed setup of transitivity reasoner (function decomp). | file | diff | annotate |
| Tue, 25 Sep 2007 12:56:27 +0200 | ballarin | Transitivity reasoner gets additional argument of premises to improve integration with simplifier. | file | diff | annotate |