Tue, 19 Sep 2006 15:21:58 +0200 | haftmann | improved numeral handling for nbe | file | diff | annotate |
Mon, 18 Sep 2006 10:09:57 +0200 | chaieb | Reifiaction now deals with Interpretations with an arbtrary number of parameters. It deals with binding. The Atomic cases can be I ... = f (xs!n) | 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 |