src/HOL/NSA/HSEQ.thy
changeset 41648 6d736d983d5c
parent 37765 26bdfb7b680b
child 44568 e6f291cb5810