Citations

f8387906 · Gérard Huet · 92c0f2bb · f8387906 · f8387906 · f8387906
Commit f8387906 authored May 26, 2018 by Gérard Huet
9 changed files
--- a/BOOK/Heritage.pdf
+++ b/BOOK/Heritage.pdf
--- a/CORPUS/Heritage_citations/100.rem
+++ b/CORPUS/Heritage_citations/100.rem
--- a/CORPUS/Heritage_citations/101.rem
+++ b/CORPUS/Heritage_citations/101.rem
--- a/CORPUS/Heritage_citations/102.rem
+++ b/CORPUS/Heritage_citations/102.rem
--- a/CORPUS/Heritage_citations/103.rem
+++ b/CORPUS/Heritage_citations/103.rem
--- a/CORPUS/Heritage_citations/104.rem
+++ b/CORPUS/Heritage_citations/104.rem
--- a/CORPUS/Heritage_citations/105.rem
+++ b/CORPUS/Heritage_citations/105.rem
--- a/CORPUS/Heritage_citations/106.rem
+++ b/CORPUS/Heritage_citations/106.rem
--- a/CORPUS/Heritage_citations/107.rem
+++ b/CORPUS/Heritage_citations/107.rem