src/HOL/Library/Quotient_Type.thy
changeset 45970 b6d0cff57d96
parent 45694 4a8743618257
child 49834 b27bbb021df1