src/Doc/Implementation/Eq.thy
changeset 57593 2f7d91242b99
parent 56420 b266e7a86485
child 58555 7975676c08c0