log src/untangle.sml

age author description
2008-07-17 Adam Chlipala Proper topological sorting in untangle
2008-07-17 Adam Chlipala Untangle