doc_warning.html

<div id="warning"><p class="p_warning">
This Coq documentation is a revised version of the
formalizations in
<a href="https://staff.aist.go.jp/reynald.affeldt/bib/bib_en.html#marti2006icfem" target="_top">[1]</a>,
<a href="https://staff.aist.go.jp/reynald.affeldt/bib/bib_en.html#affeldt2006asian" target="_top">[2]</a>,
<a href="https://staff.aist.go.jp/reynald.affeldt/bib/bib_en.html#marti2008compsoft" target="_top">[3]</a>,
<a href="https://staff.aist.go.jp/reynald.affeldt/bib/bib_en.html#affeldt2012scp" target="_top">[4]</a>,
<a href="https://staff.aist.go.jp/reynald.affeldt/bib/bib_en.html#affeldt2013isse" target="_top">[5]</a>,
<a href="https://staff.aist.go.jp/reynald.affeldt/bib/bib_en.html#affeldt2014jfr" target="_top">[6]</a>.
<a href="https://github.com/affeldt-aist/seplog" target="_top">Latest version</a>.
</p></div>