Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/8bit/config/conv-tables.inp
changeset 4826 44d38b2737e2
parent 4773 b6729feb8a5d
child 5436 cff7d1e98376 
--- a/src/Tools/8bit/config/conv-tables.inp	Fri Apr 24 13:06:17 1998 +0200
+++ b/src/Tools/8bit/config/conv-tables.inp	Fri Apr 24 16:15:34 1998 +0200
@@ -291,7 +291,7 @@
 
 # set theory, HOL
 >  "\ :\ "		":"		"\hspace{.1ex}\mbox{$\in$}\hspace{.1ex}"#"\mbox{$\in$}"
->  "\ \subseteq\ "	" \subseteq "	"\mbox{$\subseteq$}" 
+>  "\ \subseteq\ "	" <= "		"\mbox{$\subseteq$}" 
 >  "\ Int\ "		" Int "		"\mbox{$\cap$}" 
 >  "\ Un\ "		" Un "		"\mbox{$\cup$}" 
 >  "Inter\ "		"INT "		"\mbox{$\bigcap$}"
isabelle