Robert Lamar wrote:
\section{Theorem}
We now state Lemma 3.2l of \cite{Mendelson87}:
"[ PA lemma 3.2|
---
l : all x : 0 * x = 0 end lemma ]"
\section{Proof}
"[ PA proof of 3.2l :
---
File Form input around line 153 char 16:
No interpretations
Goodbye
--------end Logiwiki response--------
Hi Robert,
Are you sure you remembered to include the line
"" 3.21
in the header of your file? This line tells Logiweb that '3.21' is a
valid syntactic construct. Without this line, Logiweb fails to parse
'3.21'; it has "no interpretations" of '3.21', so to speak.
Best regards
Frederik Eriksen, Denmark.
(My M.Sc. thesis was about Logiweb).
_______________________________________________
Logiweb mailing list
Logiweb@diku.dk
http://lists.diku.dk/mailman/listinfo/logiweb
(Web access from inside DIKUs LAN only)
