ATVA version starts

d0cb3982 · Mihaela SIGHIREANU · 3af7f81b · d0cb3982 · d0cb3982 · d0cb3982
Commit d0cb3982 authored Apr 26, 2021 by Mihaela SIGHIREANU
--- a/tableaux2021/abs.tex
+++ b/tableaux2021/abs.tex
--- a/tableaux2021/app-ent-hls.tex
+++ b/tableaux2021/app-ent-hls.tex
--- a/tableaux2021/app-sat-hls.tex
+++ b/tableaux2021/app-sat-hls.tex
--- a/tableaux2021/conclusion.tex
+++ b/tableaux2021/conclusion.tex
--- a/tableaux2021/entail-hls-mult-atoms.tex
+++ b/tableaux2021/entail-hls-mult-atoms.tex
--- a/tableaux2021/entail-hls-one-atom.tex
+++ b/tableaux2021/entail-hls-one-atom.tex
--- a/tableaux2021/entail-hls-order.tex
+++ b/tableaux2021/entail-hls-order.tex
--- a/tableaux2021/entail-hls.tex
+++ b/tableaux2021/entail-hls.tex
--- a/tableaux2021/experiments.tex
+++ b/tableaux2021/experiments.tex
--- a/tableaux2021/intro.tex
+++ b/tableaux2021/intro.tex
--- a/tableaux2021/logic-hls.tex
+++ b/tableaux2021/logic-hls.tex
--- a/tableaux2021/overview.tex
+++ b/tableaux2021/overview.tex
--- a/tableaux2021/sat-hls.tex
+++ b/tableaux2021/sat-hls.tex
--- a/tableaux2021/tab2021.tex
+++ b/tableaux2021/tab2021.tex