diff options
| -rw-r--r-- | site/posts/Ltac101.v | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/site/posts/Ltac101.v b/site/posts/Ltac101.v index bd539e7..b0841e9 100644 --- a/site/posts/Ltac101.v +++ b/site/posts/Ltac101.v @@ -1,6 +1,4 @@ -(** * Ltac 101 - - This article has . *) +(** * Ltac 101 *) (** In this article (originally published on #<span id="original-created-at">October 16, 2017</span>#), I give an overview of my |