src/HOL/Library/Extended.thy
changeset 53745 788730ab7da4
parent 53427 415354b68f0c
child 54489 03ff4d1e6784