Wed, 25 Jul 2001 13:13:01 +0200 | paulson | partial restructuring to reduce dependence on Axiom of Choice | file | diff | annotate |
Sun, 15 Jul 2001 14:47:28 +0200 | wenzelm | tuned; | file | diff | annotate |
Fri, 02 Feb 2001 22:18:10 +0100 | wenzelm | added hidden internal_split constant; | file | diff | annotate |
Thu, 01 Feb 2001 20:51:48 +0100 | oheimb | converted to Isar therory, adding attributes complete_split and split_format | file | diff | annotate |
Mon, 23 Oct 2000 11:14:00 +0200 | wenzelm | tuned deps; | file | diff | annotate |
Thu, 12 Oct 2000 18:44:35 +0200 | nipkow | *** empty log message *** | file | diff | annotate |