| Sun, 08 Nov 2009 16:30:41 +0100 | wenzelm | adapted Generic_Data, Proof_Data; | file | diff | annotate |
| Mon, 02 Nov 2009 22:24:03 +0100 | krauss | conceal partial rules depending on config flag (i.e. when called via "fun") | file | diff | annotate |
| Sun, 01 Nov 2009 20:59:34 +0100 | wenzelm | adapted Item_Net; | file | diff | annotate |
| Sat, 24 Oct 2009 20:47:10 +0200 | krauss | configuration flag "partials" | file | diff | annotate |
| Fri, 23 Oct 2009 16:22:10 +0200 | krauss | function package: more standard names for structures and files | file | diff | annotate |