avoid loading List_Cset and Dlist_Cet at the same time
%%%% hyperref setup -- special version for Isabelle documentation%%\usepackage{ifpdf}\usepackage{color}\definecolor{linkcolor}{rgb}{0,0,0}\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}\newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}\gdef\fnote#1{\hyperpage{#1}n}\gdef\bold#1{\textbf{\hyperpage{#1}}}\urlstyle{rm}\ifpdf\relax\else\renewcommand{\url}[1]{\nolinkurl{#1}}\fi\def\isaliteral#1#2{#2}\def\isanil{}%experimental treatment of replacement text\iffalse\ifnum\pdfminorversion<5\pdfminorversion=5\fi\renewcommand{\isaliteral}[2]{%\pdfliteral direct{/Span <</ActualText<#1>>> BDC}#2\pdfliteral direct{EMC}}\renewcommand{\isanil}{{\color{white}.}}\fi