6 Commits

Author	SHA1	Message	Date
ccremers	81c6be826e	- Initial symmetry reduction. Gives a lot of warnings currently.	2004-07-14 08:17:49 +00:00
ccremers	ca01a09377	- Many ansi updates.	2004-05-26 12:17:09 +00:00
ccremers	4d90395d7e	- Fixed the term union issue for portability.	2004-05-26 08:40:33 +00:00
ccremers	080d19a840	- Even more documentation.	2004-05-15 16:43:20 +00:00
ccremers	e26d97bf2b	- Huge documentation effort.	2004-05-15 12:33:01 +00:00
ccremers	0f4e6a5aba	- Moved everything about.	2004-04-23 10:58:43 +00:00