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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
{ %fail }
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,
e34,e35,e36,e37,e38,e39,
e40, e41, e42, e43, e44, e45, e46, e47, e48, e49,
e50, e51, e52, e53, e54, e55, e56, e57, e58, e59,
e60, e61, e62, e63, e64, e65, e66, e67, e68, e69,
e70, e71, e72, e73, e74, e75, e76, e77, e78, e79,
e80, e81, e82, e83, e84, e85, e86, e87, e88, e89,
e90, e91, e92, e93, e94, e95, e96, e97, e98, e99,
e100, e101, e102, e103, e104, e105, e106, e107, e108, e109,
e110, e111, e112, e113, e114, e115, e116, e117, e118, e119,
e120, e121, e122, e123, e124, e125, e126, e127, e128, e129,
e130, e131, e132, e133, e134, e135, e136, e137, e138, e139,
e140, e141, e142, e143, e144, e145, e146, e147, e148, e149,
e150, e151, e152, e153, e154, e155, e156, e157, e158, e159,
e160, e161, e162, e163, e164, e165, e166, e167, e168, e169,
e170, e171, e172, e173, e174, e175, e176, e177, e178, e179,
e180, e181, e182, e183, e184, e185, e186, e187, e188, e189,
e190, e191, e192, e193, e194, e195, e196, e197, e198, e199,
e200, e201, e202, e203, e204, e205, e206, e207, e208, e209,
e210, e211, e212, e213, e214, e215, e216, e217, e218, e219,
e220, e221, e222, e223, e224, e225, e226, e227, e228, e229,
e230, e231, e232, e233, e234, e235, e236, e237, e238, e239,
e240, e241, e242, e243, e244, e245, e246, e247, e248, e249,
e250, e251, e252, e253, e254, e255, e256
);
const TermElKinds = [
elVar
];
const FrmElKinds = [
elErrorFrm,
elIs,
elNot,
elPred,
elPrivPred,
elVerum,
e256
];
begin
end.
|
