Tweak documentation of APT transformations.

Use 'General Form' heading instead of 'Form', for consistency with other ACL2 tools.
acl2 · Oct 15, 2017 · 03b15e5 · 03b15e5
1 parent 20b83f5
commit 03b15e5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/books/kestrel/apt/restrict-reference.lisp b/books/kestrel/apt/restrict-reference.lisp
@@ -39,7 +39,7 @@
    </p>
 
    <h3>
-   Form
+   General Form
    </h3>
 
    @({

diff --git a/books/kestrel/apt/tailrec-reference.lisp b/books/kestrel/apt/tailrec-reference.lisp
@@ -41,7 +41,7 @@
    </p>
 
    <h3>
-   Form
+   General Form
    </h3>
 
    @({