new entry
tuned topics
merged
new entry Regular_Algebras
tuned
updated Launchbury entry
merge from afp-2013-2
repair Regular_Algebras
new entry Roy_Floyd_Warshall
new entry Noninterference_CSP
contact details change requested by author
merged from afp-2013-2
tuned;
tuned;
build document graph
merge from afp-2013-2
build Nominal2 during regression test
adapted to removal of '=:' syntax in BNF package
proper document_files;
tuned timeout;