thys/Spec.thy
changeset 519 856d025dbc15
parent 365 ec5e4fe4cc70