| 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 |