# HG changeset patch
# User clasohm
# Date 795788508 -3600
# Node ID bfcb53497a99050710535730535b760bcd461113
# Parent  3fd66f245ad754b79fddf59a25a85d9190e37d3c
changed syntax of Unity ("()" instead of "<>")

diff -r 3fd66f245ad7 -r bfcb53497a99 src/HOL/Prod.thy
--- a/src/HOL/Prod.thy	Mon Mar 20 15:37:03 1995 +0100
+++ b/src/HOL/Prod.thy	Tue Mar 21 13:21:48 1995 +0100
@@ -58,7 +58,7 @@
   unit = "{p. p = True}"
 
 consts
-  Unity         :: "unit"                       ("<>")
+  Unity         :: "unit"                       ("'(')")
 
 defs
   Unity_def     "Unity == Abs_Unit(True)"