doc-src/System/Thy/Basics.thy
changeset 48891 c0eafbd55de3
parent 48858 86816c61b5ca