| Fri, 19 Oct 2001 22:01:25 +0200 | wenzelm | got rid of ML proof scripts for Product_Type; | file | diff | annotate |
| Sat, 03 Feb 2001 15:22:57 +0100 | wenzelm | fixed syntax of 'split_format'; | file | diff | annotate |
| Sat, 03 Feb 2001 00:01:54 +0100 | wenzelm | simplified 'split_format' syntax; | file | diff | annotate |
| Fri, 02 Feb 2001 22:20:43 +0100 | wenzelm | module setup; | 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 |