Fri, 19 Oct 2001 22:01:25 +0200 | wenzelm | got rid of ML proof scripts for Product_Type; | file | diff | annotate |
Tue, 30 Jan 2001 14:48:27 +0100 | berghofe | Fixed bug in complete_split_rule_var. | file | diff | annotate |
Mon, 29 Jan 2001 13:28:15 +0100 | berghofe | New function complete_split_rule for complete splitting of partially | file | diff | annotate |
Tue, 16 Jan 2001 00:40:57 +0100 | wenzelm | renamed Product_Type.split to split_conv; | file | diff | annotate |
Tue, 09 Jan 2001 15:22:13 +0100 | nipkow | `` -> and ``` -> `` | file | diff | annotate |
Tue, 09 Jan 2001 15:15:28 +0100 | wenzelm | split_all operation; | file | diff | annotate |
Sun, 07 Jan 2001 21:34:16 +0100 | wenzelm | tuned split_all_tac; | file | diff | annotate |
Wed, 29 Nov 2000 17:24:20 +0100 | nipkow | expand_split_asm -> split_split_asm | file | diff | annotate |
Thu, 12 Oct 2000 18:44:35 +0200 | nipkow | *** empty log message *** | file | diff | annotate |