Isabelle 1988-1990 with 1990 A5 removed

trishullab · Aug 10, 2024 · 8a98c39 · 8a98c39
1 parent 70b92b4
commit 8a98c39
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/isabelle/putnam_1990_a5.thy b/isabelle/putnam_1990_a5.thy