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 |
Fri, 02 Jun 2006 19:41:37 +0200 | wenzelm | tuned; | file | diff | annotate |
Wed, 03 May 2006 03:47:15 +0200 | huffman | update to reflect changes in inverts/injects lemmas | file | diff | annotate |
Thu, 07 Jul 2005 19:55:46 +0200 | huffman | fixes to work with UU_reorient_simproc | file | diff | annotate |
Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
Fri, 03 Jun 2005 23:38:12 +0200 | huffman | fixed renamed theorems | file | diff | annotate |
Tue, 07 Sep 2004 16:02:42 +0200 | oheimb | integrated Streams with ex/Stream.*; added FOCUS/Fstreams.thy | file | diff | annotate |