ChengsongTanPhdThesis/graphic.sty
author Chengsong
Sun, 08 May 2022 13:26:31 +0100
changeset 506 69ad05398894
parent 468 a0f27e21b42c
permissions -rw-r--r--
thesis chapter 2 section 2.4 2.5 Isarfied ClosedForms.thy

\usepackage{tikz}
%\usepackage{pgf}
%\usetikzlibrary{positioning}
%\usetikzlibrary{calc}
%\usetikzlibrary{automata}
%\usetikzlibrary{arrows}
%\usetikzlibrary{backgrounds}
%\usetikzlibrary{fit}
%\usepackage{tikz-qtree}
\usepackage{pgfplots}

%\pgfplotsset{compat=1.15}