Mon, 05 Dec 2005 18:19:49 +0100 | urbanc | added code to say that discrete types (nat, bool, char) | file | diff | annotate |
Wed, 30 Nov 2005 21:51:23 +0100 | urbanc | added facilities to prove the pt and fs instances | file | diff | annotate |
Tue, 29 Nov 2005 01:37:01 +0100 | urbanc | made some of the theorem look-ups static (by using | file | diff | annotate |
Sun, 27 Nov 2005 03:55:16 +0100 | urbanc | finished cleaning up the parts that collect | file | diff | annotate |
Mon, 07 Nov 2005 11:17:45 +0100 | urbanc | used the function Library.product for the cprod from Stefan | file | diff | annotate |
Wed, 02 Nov 2005 16:37:39 +0100 | berghofe | Moved atom stuff to new file nominal_atoms.ML | file | diff | annotate |