1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
program tester;
{$mode delphi}
type TXMLElemKind = (
elErrorFrm,
elInvolutiveness,
elIrreflexivity,
elIs,
elIt,
elIterEquality,
elIterStep,
elJustifiedProperty,
elJustifiedTheorem,
elLambdaVar,
elLet,
elLocusVar,
elMonomial,
elNot,
elPoweredVar,
elPred,
elPredInstance,
elPriority,
elPrivFunc,
elPrivPred,
elProjectivity,
elProof,
elTakeAsVar,
elTheorem,
elTheorems,
elThesis,
elThesisExpansions,
elTransitivity,
elTyp,
elUnexpectedProp,
elUniqueness,
elUnknownCorrCond,
elVar,
elVerum
);
const TermElKinds = [
elVar
];
const FrmElKinds = [
elErrorFrm,
elIs,
elNot,
elPred,
elPrivPred,
elVerum
];
var a:TXMLElemKind;
begin
a:=elVerum;
if not(a in (FrmElKinds + TermElKinds)) then
halt(1);
end.
|
