| Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
| Mon, 14 Aug 2006 11:13:50 +0200 | chaieb | Reification now handels binders. | file | diff | annotate |
| Thu, 03 Aug 2006 15:03:05 +0200 | wenzelm | Generic reflection and reification (by Amine Chaieb). | file | diff | annotate |