Attic/Myhill_1.thy
2011-02-09 urbanc saved a copy of the current Myhill for reference
less more (0) tip