| Sun, 22 Feb 2009 12:48:49 -0800 | huffman | declare scaleR distrib rules [algebra_simps]; cleaned up | file | diff | annotate |
| Sun, 22 Feb 2009 12:16:51 -0800 | huffman | clean up instantiations | file | diff | annotate |
| Wed, 21 Jan 2009 23:40:23 +0100 | haftmann | no base sort in class import | file | diff | annotate |
| Tue, 30 Dec 2008 11:10:01 +0100 | ballarin | Merged. | file | diff | annotate | base |
| Mon, 29 Dec 2008 14:08:08 +0100 | haftmann | adapted HOL source structure to distribution layout | file | diff | annotate | base |