src/HOL/ex/ReflectionEx.thy
Sun, 28 Jan 2007 11:52:52 +0100 chaieb Now deals with simples cases where the input equations contain type variables
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)
Mon, 11 Sep 2006 21:35:19 +0200 wenzelm induct method: renamed 'fixing' to 'arbitrary';
Mon, 14 Aug 2006 11:13:50 +0200 chaieb Reification now handels binders.
Fri, 04 Aug 2006 12:01:31 +0200 chaieb *** empty log message ***
Thu, 03 Aug 2006 15:03:05 +0200 wenzelm Generic reflection and reification (by Amine Chaieb).
less more (0) tip