Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
changed syntax of Unity ("()" instead of "<>")
authorclasohm
Tue, 21 Mar 1995 13:21:48 +0100
changeset 967 bfcb53497a99
parent 966 3fd66f245ad7
child 968 3cdaa8724175
changed syntax of Unity ("()" instead of "<>")
src/HOL/Prod.thy file | annotate | diff | comparison | revisions 
--- 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)"
isabelle