# HG changeset patch
# User wenzelm
# Date 1451642827 -3600
# Node ID d91374c90d0ccb5ce9c1bba7a1a1b70838dd43c0
# Parent  5d208fd2507d07bb9f64ff0e40c61bf3f1b3b3b9
tuned order for isar-ref;

diff -r 5d208fd2507d -r d91374c90d0c lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Fri Jan 01 10:49:00 2016 +0100
+++ b/lib/texinputs/isabellesym.sty	Fri Jan 01 11:07:07 2016 +0100
@@ -357,11 +357,11 @@
 \newcommand{\isasymcedilla}{\isatext{\c\relax}}
 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
 \newcommand{\isasymmodule}{\isamath{\langle}\isakeyword{module}\isamath{\rangle}}
+\newcommand{\isasymsome}{\isamath{\epsilon\,}}
 \newcommand{\isasymbind}{\isamath{\mathbin{>\!\!\!>\mkern-6.7mu=}}}
 \newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}}
-\newcommand{\isasymsome}{\isamath{\epsilon\,}}
+\newcommand{\isasymhole}{\isatext{\rm\wasylozenge}}  %requires wasysym
+\newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
 \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}
 \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}
-\newcommand{\isasymhole}{\isatext{\rm\wasylozenge}}  %requires wasysym
-\newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
 \newcommand{\isasymcomment}{\isatext{---}}