diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-17 22:55:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-17 22:55:26 +0000 |
| commit | f10c6f264ce064998c22b461b79e93216269eef0 (patch) | |
| tree | 5d5effef7cc81e415a3940df6baa53578273a046 | |
| parent | 3b95c622d769d2ee866140b0ebcd69a59b0c0385 (diff) | |
Escape { and }
| -rw-r--r-- | doc/ProofGeneral.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 132d9299..8109d274 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -808,13 +808,13 @@ you see a window @c like this: containing text like this: @lisp theory Walkthrough = - {ProtoPure, CPure, HOL, Set, Typedef, Fun, Product_Type, Lfp, Gfp, + @{ProtoPure, CPure, HOL, Set, Typedef, Fun, Product_Type, Lfp, Gfp, Sum_Type, Relation, Record, Inductive, Transitive_Closure, Wellfounded_Recursion, Ring_and_Field, Nat, NatArith, Divides, Power, Finite_Set, Equiv, IntDef, Datatype_Universe, Datatype, Numeral, Bin, IntArith, Wellfounded_Relations, Recdef, IntDiv, NatBin, NatSimprocs, SetInterval, Presburger, Relation_Power, Parity, PreList, List, Map, - Hilbert_Choice, Infinite_Set, Extraction, Refute, Main, #} + Hilbert_Choice, Infinite_Set, Extraction, Refute, Main, #@} @end lisp (Which gives you some idea of the theories that go to build up @code{Main}!). |