Quot/Quotients.thy
2009-12-08 Christian Urban removed a fixme: map_info is now checked
2009-12-07 Christian Urban directory re-arrangement
less more (0) tip