src/HOL/ex/mesontest2.thy
author nipkow
Fri, 24 Nov 2000 16:49:27 +0100
changeset 10519 ade64af4c57c
parent 10440 2074e62da354
child 11586 d8a7f6318457
permissions -rw-r--r--
hide many names from Datatype_Universe.


(*Theory Product_Type instead of HOL regards arguments as tuples.
  But theory Main would allow clashes with many other constants.*)

theory mesontest2 = Product_Type:

hide const inverse divide

end