huffman [Wed, 02 Mar 2005 23:58:02 +0100] rev 15566
converted to new-style theory
huffman [Wed, 02 Mar 2005 23:28:17 +0100] rev 15565
converted to new-style theory
huffman [Wed, 02 Mar 2005 23:15:16 +0100] rev 15564
converted to new-style theory
huffman [Wed, 02 Mar 2005 22:57:08 +0100] rev 15563
converted to new-style theory
huffman [Wed, 02 Mar 2005 22:30:00 +0100] rev 15562
converted to new-style theory
nipkow [Wed, 02 Mar 2005 12:06:15 +0100] rev 15561
another reorganization of setsums and intervals
dixon [Wed, 02 Mar 2005 10:33:10 +0100] rev 15560
lucas - fixed bug with name capture variables bound outside redex could (previously)conflict with scheme variables that occur in the conditions of an equation, and which were renamed to avoid conflict with another instantiation. This has now been fixed.
paulson [Wed, 02 Mar 2005 10:21:17 +0100] rev 15559
obscured the e-mail address lcp@cl