Nominal/Manual/Term4.thy
changeset 2510 734341a79028
parent 2326 b51532dd5689
equal deleted inserted replaced
2509:679cef364022 2510:734341a79028