2 Commits

Author	SHA1	Message	Date
bringert	070ccd045d	Added newlines and ends of some files. This makes sed happy.	2007-12-20 17:07:56 +00:00
bringert	b7609f09a5	Moved Graph and Relation stuff to separate modules. Added some QuickCheck properties for Relation. Improved relation datastructure and algorithms, making FA generation much faster.	2005-10-26 16:13:13 +00:00