src/HOL/UNITY/Comp/Counter.thy
changeset 41648 6d736d983d5c
parent 36866 426d5781bb25
child 42463 f270e3e18be5