A1: make it valid coq code

aufgabe1.tex

@@ -13,21 +13,21 @@
 \item Man betrachte das folgende Beweisskript in Coq:
   \begin{center}    
 \begin{Verbatim}[numbers=left,xleftmargin=5mm]
-Require Import Classical
+Require Import Classical.
 
-Paramaters p q r : Prop
+Parameters p q r : Prop.
 
-Theorem: Q1: (p -> (p -> (p -> q))) -> (p -> q)
-Proof
+Theorem Q1: (p -> (p -> (p -> q))) -> (p -> q).
+Proof.
 intro A.
 intro B.
 assert (p -> (p -> q)) as C.
-apply A. exact B.
-assert (p -> q) as D
-apply C. exact B
-apply D
-assumption
-Qed
+apply A; exact B.
+assert (p -> q) as D.
+apply C; exact B.
+apply D.
+assumption.
+Qed.
 \end{Verbatim}
 \end{center}