equal
deleted
inserted
replaced
1 |
1 |
2 \documentclass[12pt,a4paper,fleqn]{report} |
2 \documentclass[12pt,a4paper,fleqn]{report} |
3 \usepackage{graphicx,../iman,../extra,../pdfsetup} |
3 \usepackage{graphicx,../iman,../extra,../isar,../pdfsetup} |
4 \usepackage{generated/isabelle,generated/isabellesym} |
4 \usepackage{generated/isabelle,generated/isabellesym} |
5 |
5 |
6 \newcommand{\isasymOtimes}{\emph{$\odot$}} |
6 \newcommand{\isasymOtimes}{\emph{$\odot$}} |
7 \newcommand{\isasymOplus}{\emph{$\oplus$}} |
7 \newcommand{\isasymOplus}{\emph{$\oplus$}} |
8 \newcommand{\isasyminv}{\emph{${}^{-1}$}} |
8 \newcommand{\isasyminv}{\emph{${}^{-1}$}} |