Private_Ownership_Economy.thy edited online with
Created originally on Bitbucket by jparsert (Julian Parsert)
Changesets for this Pull Request have not been imported, because it had been already declined on Bitbucket. Marked as closed by the import user.
Private_Ownership_Economy.thy edited online with