| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Wed, 27 Sep 2006 00:54:10 +0200 | huffman | define new constant Standard = range star_of | file | diff | annotate |
| Mon, 03 Jul 2006 20:03:11 +0200 | nipkow | replaced respects2 by congruent2 because of type problem | file | diff | annotate |
| Fri, 02 Jun 2006 23:22:29 +0200 | wenzelm | misc cleanup; | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:08 +0100 | wenzelm | setup: theory -> theory; | file | diff | annotate |
| Sat, 17 Sep 2005 01:50:01 +0200 | huffman | use interpretation command | file | diff | annotate |
| Thu, 15 Sep 2005 23:46:22 +0200 | huffman | merged Transfer.thy and StarType.thy into StarDef.thy; renamed Ifun2_of to starfun2; cleaned up | file | diff | annotate |