% -*- TeX-master: "../main.tex" -*-

\usepackage{glossaries}
\usepackage{csquotes}
\makeglossaries


\newglossaryentry{verasco}
{
    name=Verasco,
    description={}
}
 
\newglossaryentry{metastar}
{
    name=Meta-F$^\star$,
    description={}
}

\newglossaryentry{fstar}
{
    name=F$^\star$,
    description={}
}

\newglossaryentry{lowstar}
{
    name=Low$^\star$,
    description={}
}


\newglossaryentry{csharpminor}
{
    name=C\#minor,
    description={}
}

\def\verasco{\gls{verasco}}
\def\fstar{\gls{fstar}}

\newglossaryentry{wp}
{
        name=weakest-precondition,
        description={}
}

\newglossaryentry{bind}
{
    name=bind,
    description={}
}
\newglossaryentry{pure}
{
    name=pure,
    description={}
}