| Sun, 08 Jul 2007 19:01:32 +0200 | chaieb | Show the use of reflection attribute; fixed comments about the order of absorbing equations : f (C x) = x ; now automaically tried as last; | file | diff | annotate |
| Sat, 07 Jul 2007 11:09:40 +0200 | chaieb | The order for parameter for interpretation is now inversted: | file | diff | annotate |
| Fri, 06 Jul 2007 16:09:28 +0200 | chaieb | Some examples for reifying type variables | file | diff | annotate |
| Tue, 03 Jul 2007 17:49:58 +0200 | chaieb | More examples | file | diff | annotate |
| Sat, 23 Jun 2007 19:33:22 +0200 | nipkow | tuned and renamed group_eq_simps and ring_eq_simps | file | diff | annotate |
| Sun, 28 Jan 2007 11:52:52 +0100 | chaieb | Now deals with simples cases where the input equations contain type variables | 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 |