src/HOL/ex/mesontest2.thy
author wenzelm
Fri, 10 Nov 2000 19:08:30 +0100
changeset 10440 2074e62da354
child 11586 d8a7f6318457
permissions -rw-r--r--
proper theory context for mesontest2;


(*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