wneuper/isa: comparison doc-src/TutorialI/appendix.tex

equal deleted inserted replaced

-:5b6305cab436
+:9feb1e0c4cb3
 &
 \\
 \hline\hline
 \indexboldpos{\isasymcirc}{$HOL1} &
 \indexboldpos{\isasymle}{$HOL2arithrel}&
-&
+\indexboldpos{\isasymtimes}{$IsaFun}&
 &
 &
 &
 &
 &
 &
 &
 \\
 \ttindexbold{o} &
 \ttindexboldpos{<=}{$HOL2arithrel}&
-&
+\ttindexboldpos{*}{$HOL2arithfun} &
 &
 &
 &
 &
 &