GitHub - isabelle-utp/Z_Machines_Examples: A library of examples based on Z-Machines

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
BirthdayBook.thy		BirthdayBook.thy
BoxOffice.thy		BoxOffice.thy
BuildingEntry_17_1.thy		BuildingEntry_17_1.thy
DataArray_13_378.thy		DataArray_13_378.thy
FileSystem.thy		FileSystem.thy
MailBox.thy		MailBox.thy
MeanMachine_17_2.thy		MeanMachine_17_2.thy
PhoenixCinema_17_4.thy		PhoenixCinema_17_4.thy
ResourceManager.thy		ResourceManager.thy
TrivialPursuit.thy		TrivialPursuit.thy
WordDictionary_17_3.thy		WordDictionary_17_3.thy