clean-up-isa-check-functions #7

Merged

adbrucker merged 2 commits from nicolas.meric/Isabelle_DOF:clean-up-isa-check-functions into master 2021-12-15 22:25:30 +00:00

Conversation 0 Commits 2 Files Changed 1 +13 -15

2 Commits

Author	SHA1	Message	Date
Achim D. Brucker	a2673b0825	Merge branch 'master' into clean-up-isa-check-functions	2021-12-15 22:25:22 +00:00
Nicolas Méric	541d2711bd	Clean Up ISA check functions ... Also remove some dead code	2021-12-13 17:21:46 +01:00