| Tue, 10 Jul 2007 17:30:50 +0200 | haftmann | moved lfp_induct2 here | file | diff | annotate |
| Fri, 01 Jun 2007 15:12:56 +0200 | krauss | Added simp-rules: "R O {} = {}" and "{} O R = {}" | file | diff | annotate |
| Wed, 24 Jan 2007 17:10:50 +0100 | paulson | some new lemmas | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Tue, 07 Nov 2006 11:47:57 +0100 | wenzelm | renamed 'const_syntax' to 'notation'; | file | diff | annotate |
| Tue, 26 Sep 2006 17:33:04 +0200 | krauss | Changed precedence of "op O" (relation composition) from 60 to 75. | file | diff | annotate |
| Tue, 16 May 2006 21:33:01 +0200 | wenzelm | tuned concrete syntax -- abbreviation/const_syntax; | file | diff | annotate |