Description of The Mizar Error Messages

Describe the meaning of the Mizar error codes here, post typical or weird examples, suggest changes.

Results from Mizar web retrieved at 12:09 (GMT)

Error Number: 190 Mizar Message: Inaccessible theorem Description The theorem used depends on a constructor which is not accessible. To fix, add the missing constructors ...
Error Number: 397 Mizar Message: Term expected Description An off category or unknown symbol appears where a term is expected. Some possible causes include: ...
Error Number: 9 Mizar Message: Too many instantiations Description Please contribute Typical examples environ vocabularies ZFMISC 1, PRE TOPC, EUCLID; constructors ...
Error Number: 93 Mizar Message: Missing field of a prefix Description While giving a definition to the structure one or more fields of the parent structure are omitted ...
Error Number: 856 Mizar Message: Inaccessible requirements directive Description A requirements directive needs prerequisite information that is not being supplied ...
Error Number: 103 Mizar Message: Unknown functor Description The func being used is not defined on the argument type. Some causes of this error are (examples below ...
Error Number: 165 Mizar Message: Unknown functor format Description Seems that this most often means that you do not have the symbol in articles vocabularies. JosefUrban ...
Error Number: 166 Mizar Message: Unknown functor format Description Similar to error 165. A term with argument does not match a known notation a notation directive ...
Error Number: 148 Mizar Message: Unknown private functor Description This can be caused by referencing a function without importing the necessary vocabulary. Importing ...
Error Number: 102 Mizar Message: Unknown predicate Description Some causes of this error are: Omitting a necessary registration directive Overriding a ...
Error Number: 306 Mizar Message: Attribute symbol expected Description The designated symbol is not declared as category V in the vocabulary: It may be missing ...
Error Number: 203 Mizar Message: Unknown token, maybe the forbidden underscore character used in an identifier Description This error is generated under two conditions ...
Error Number: 138 Mizar Message: Cannot identify a local constant, free in the default type Description The locus being declared depends upon a hidden variable which ...
Error Number: 56 Mizar Message: Disagreement of types Description A local constant being generalized by let disagrees in type with the corresponding quantified ...
Error Number: 55 Mizar Message: Invalid generalization Description A local constant being generalized by let or exemplified by take is deficient with respect ...
Error Number: 129 Mizar Message: Invalid free variables in a Fraenkel operator Description Often happens if the types of variables ("LambdaVariables") parameterizing ...
Error Number: 57 Mizar Message: The type of the instantiated term doesn't widen properly Description The instantiated term is not a sub type of the term's required ...
Error Number: 52 Mizar Message: Invalid assumption Description The assumed condition is not equivalent to the antecedent of the current thesis. Some causes include ...
Error Number: 51 Mizar Message: Invalid conclusion Description Error 51 can result when proving an equivalence (i.e. bi implication, iff) in an unexpected way. Mizar ...
Error Number: 106 Mizar Message: Unknown attribute Description A declared attribute is inapplicable to the subject locus. If the attribute was not a vocabulary symbol ...
Error Number: 251 Mizar Message: "it" is allowed only inside definiens of a public functor or mode Description Predicates and attributes may reference loci (parameter ...
Error Number: 830 Mizar Message: Nothing imported from notations Description A notation directive appears in the environment, but nothing is utilizing any of the ...
Error Number: 834 Mizar Message: Nothing imported from schemes Description A scheme, used to justify a statement, relies on undefined notation. A notations directive ...
Error Number: 20 Mizar Message: The structure of the sentences disagrees with the scheme Description a. A statement Q justified by a scheme does not match the ...
Error Number: 336 Mizar Message: Associative notation must not be used for "iff" and "implies" Description Mizar does not apply a default association rule to consecutive ...
Error Number: 300 Mizar Message: Identifier expected Description Please contribute Typical examples (As far as I know, this is a typical example; I wouldn't call ...
Error Number: 4 Mizar Message: This inference is not accepted Description The checker said "no" Typical examples Please contribute Weird examples I just spent ...
Error Number: 144 Mizar Message: Unknown label Description For MML references often means that you do not have the article in the TheoremDirective. Typical examples ...
Error Number: 143 Mizar Message: No implicit qualification Description Please contribute Typical examples Please contribute Weird examples Can occur when a symbol ...
Error Number: 108 Mizar Message: Invalid list of arguments of redefined constructor Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 813 Mizar Message: Invalid qualifier on a vocabulary file Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 706 Mizar Message: Unnecessary theorems directive Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 801 Mizar Message: Cannot find vocabulary file Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 391 Mizar Message: Incorrect beginning of a text item Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 716 Mizar Message: Irrelevant reconsider of a term Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 59 Mizar Message: The theses in each case should be equal formulae Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 174 Mizar Message: Unknown functor format Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 154 Mizar Message: Unknown field Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 712 Mizar Message: Synonym of a functor definition Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 722 Mizar Message: The second argument of the iterative equality is equal with a next one Description Please contribute Typical examples Please contribute ...
Error Number: 70 Mizar Message: Something remains to be proved Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 490 Mizar Message: Too many free variables in reservations Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 24 Mizar Message: Impossible matching of a locus of a functor Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 115 Mizar Message: Unknown attribute Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1151 Mizar Message: Bad drive request struct length Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 96 Mizar Message: Only standard functors and selectors can be used in a functor cluster Description Please contribute Typical examples Please contribute ...
Error Number: 301 Mizar Message: Predicate symbol expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 196 Mizar Message: Unknown scheme Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1004 Mizar Message: Too many open files Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1996 Mizar Message: I/O stream error: Cannot expand stream Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 469 Mizar Message: Too many loci Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 15 Mizar Message: Too many equalities in an inference Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 493 Mizar Message: Too many parameters in one scheme Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 155 Mizar Message: Unknown prefix Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 388 Mizar Message: "as" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 82 Mizar Message: It is meaningful for binary functors only Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 65 Mizar Message: "thesis" is allowed only inside a proof Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 133 Mizar Message: Cannot cluster attribute with arguments Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 917 Mizar Message: Too many free variables in reservations Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 601 Mizar Message: Irrelevant label Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 487 Mizar Message: Too many scheme identifiers Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 211 Mizar Message: Unexpected "environ" Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 704 Mizar Message: Irrelevant signature directive Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 31 Mizar Message: Disagreement of correspondents of a constant Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 168 Mizar Message: Unknown functor format Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 381 Mizar Message: "if" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 470 Mizar Message: Too complicated term Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1005 Mizar Message: File access denied Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 612 Mizar Message: Beginning of an inaccessible conditions Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 936 Mizar Message: Too many registered clusters Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 806 Mizar Message: Cannot find theorems file Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 50 Mizar Message: Nongeneralizable variable in the skeleton of a reasoning Description Please contribute Typical examples Please contribute Weird ...
Error Number: 107 Mizar Message: Invalid list of arguments of redefined constructor Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 891 Mizar Message: MML identifier should be written in capitals Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 453 Mizar Message: Too many mode formats Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 11 Mizar Message: Too many constants in an inference Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 923 Mizar Message: Too many different clusters Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 232 Mizar Message: "case" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1212 Mizar Message: Stream registration error Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 461 Mizar Message: Too many free variables Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1216 Mizar Message: General Protection fault Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 915 Mizar Message: Too many ranges of free variables Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 126 Mizar Message: Unknown selector functor Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 483 Mizar Message: Too many variables Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 371 Mizar Message: " " expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 938 Mizar Message: Too many terms Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 92 Mizar Message: Type of the field must be equal to the type in prefix Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 478 Mizar Message: Too many labels Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 54 Mizar Message: The cases are not exhausted Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 734 Mizar Message: The redundant considering Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 64 Mizar Message: Invalid exemplification in a diffuse statement Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 613 Mizar Message: End of an inaccessible conditions Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 1202 Mizar Message: Stack overflow error Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 10 Mizar Message: Too many basic sentences in an inference Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 1012 Mizar Message: Invalid file access code Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 43 Mizar Message: Cannot decompose a conjunction of formal sentences Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 498 Mizar Message: Too many occurrences of arguments of a second order variable Description Please contribute Typical examples Please contribute ...
Error Number: 41 Mizar Message: Non unique matching of a locus of the substitute of a functor variable Description Please contribute Typical examples Please contribute ...
Error Number: 40 Mizar Message: Non unique matching of a locus of the substitute of a predicate variable Description Please contribute Typical examples Please contribute ...
Error Number: 176 Mizar Message: Unknown structure format Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 926 Mizar Message: Too many functors Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 730 Mizar Message: The redundant reconsidering of variables Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 384 Mizar Message: ":" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 271 Mizar Message: Redefined mode cannot be expandable Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 396 Mizar Message: Formula expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 361 Mizar Message: " " expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1206 Mizar Message: Floating point underflow Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 60 Mizar Message: Something remains to be proved in this case Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 929 Mizar Message: Too many mode patterns Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 140 Mizar Message: Unknown variable Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 607 Mizar Message: Justification can be straightforward Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 458 Mizar Message: Too many private predicates Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 452 Mizar Message: Too many functor formats Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 164 Mizar Message: Nothing to link Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 118 Mizar Message: Invalid specification Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 737 Mizar Message: Unused private predicate Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 146 Mizar Message: Theorem number must be greater than 0 Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 930 Mizar Message: Too many attributes Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 303 Mizar Message: Mode symbol expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 703 Mizar Message: Unnecessary "proof thus thesis; end;" Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 200 Mizar Message: Too long source line Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1015 Mizar Message: Invalid drive number Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 123 Mizar Message: Disagreement of argument types Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 1157 Mizar Message: Unknown media type Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 831 Mizar Message: Nothing imported from clusters Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 1102 Mizar Message: File not assigned Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 255 Mizar Message: It is not allowed for expandable modes Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 83 Mizar Message: It is meaningful for unary functors only Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 608 Mizar Message: Linkable statement Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 340 Mizar Message: "holds", "for" or "ex" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 160 Mizar Message: This variable still cannot be accessed Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 217 Mizar Message: ";" missing Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 135 Mizar Message: Inaccessible selector Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 392 Mizar Message: Incorrect beginning of a definition item Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 1997 Mizar Message: I/O stream error: Read beyond end of stream Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 68 Mizar Message: Nongeneralizable variable in the skeleton of a reasoning Description Please contribute Typical examples Please contribute Weird ...
Error Number: 330 Mizar Message: Unexpected end of an item (perhaps ";" missing) Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 171 Mizar Message: Unknown functor format Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 383 Mizar Message: "is" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 350 Mizar Message: "that" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 132 Mizar Message: Invalid "exactly" Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1150 Mizar Message: Disk is write protected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 935 Mizar Message: Too many selectors Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 182 Mizar Message: Unknown selector format Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 800 Mizar Message: Library corrupted Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 193 Mizar Message: Inaccessible scheme Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1162 Mizar Message: Hardware failure Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 130 Mizar Message: Redefinition of an attribute with predicate pattern is not allowed Description Please contribute Typical examples Please contribute ...
Error Number: 825 Mizar Message: Cannot find constructors name on constructor list Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 1209 Mizar Message: Overlay file read error Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 104 Mizar Message: Unknown structure Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 713 Mizar Message: Irrelevant redefinition of a functor Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 97 Mizar Message: Non clusterable attribute Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 78 Mizar Message: The type of the argument must widen to the result type Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 1006 Mizar Message: Invalid file handle Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 460 Mizar Message: Too many reserved identifiers Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 459 Mizar Message: Too many private functors Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 454 Mizar Message: Too large theorem number Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1200 Mizar Message: Division by zero Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 173 Mizar Message: Unknown functor format Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 72 Mizar Message: Unexpected correctness condition Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 201 Mizar Message: Only characters with decimal ASCII codes between 32 and 126 are allowed Description Please contribute Typical examples Please contribute ...
Error Number: 809 Mizar Message: Cannot find clusters file Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 76 Mizar Message: Don't mix cluster correctness with other correctness conditions Description Please contribute Typical examples Please contribute ...
Error Number: 484 Mizar Message: Too many reservations Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 717 Mizar Message: Irrelevant reconsider Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 482 Mizar Message: Too many free variable scopes Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 156 Mizar Message: Invalid equality format Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 21 Mizar Message: The structure of sentences disagrees the scheme Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 736 Mizar Message: Unused private functor Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1211 Mizar Message: Call to abstract method Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 380 Mizar Message: " " expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 110 Mizar Message: Only nullary prefixes allowed Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 746 Mizar Message: References can be moved to the next step of this iterative equality Description Please contribute Typical examples Please contribute ...
Error Number: 212 Mizar Message: "environ" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 499 Mizar Message: Too many errors Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 496 Mizar Message: Too complicated scheme (too many occurrences of a predicate variable) Description Please contribute Typical examples Please contribute ...
Error Number: 169 Mizar Message: Unknown functor format Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 476 Mizar Message: Too many default signature files Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 128 Mizar Message: Arguments must be elementary types Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 471 Mizar Message: Too many selectors in one structure definition Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 58 Mizar Message: Mixing "case" with "suppose" is not allowed in one "per cases" reasoning Description Please contribute Typical examples Please contribute ...
Error Number: 474 Mizar Message: Too complicated term Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 309 Mizar Message: Type or attribute expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 16 Mizar Message: Collection Overflow Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 916 Mizar Message: Too many reservations Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 372 Mizar Message: "}" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 91 Mizar Message: Homonimic fields in stucture declaration Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 707 Mizar Message: Unnecessary schemes directive Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 805 Mizar Message: Cannot find definitions file Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 73 Mizar Message: Correctness condition missing Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 274 Mizar Message: Don't use "means" in the definition of an expandable mode Description Please contribute Typical examples Please contribute Weird ...
Error Number: 116 Mizar Message: Invalid "qua" Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 710 Mizar Message: Irrelevant definitions directive Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 602 Mizar Message: Irrelevant reference Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 119 Mizar Message: Illegal cluster Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 810 Mizar Message: Directive name repeated Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 175 Mizar Message: Unknown attribute format Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 231 Mizar Message: "per cases" missing Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1002 Mizar Message: File not found Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 385 Mizar Message: " " expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 610 Mizar Message: Beginning of an inaccessible item Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 351 Mizar Message: "cases" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 149 Mizar Message: Unknown private predicate Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 79 Mizar Message: Types of arguments must be equal Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 925 Mizar Message: Too many predicate patterns Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 1106 Mizar Message: Invalid numeric format Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 832 Mizar Message: Nothing imported from definitions Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 892 Mizar Message: MML identifier should be at most eight characters long Description Please contribute Typical examples Please contribute Weird ...
Error Number: 497 Mizar Message: Too many functor symbols Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 150 Mizar Message: A variable free in default type has explicit qualification Description Please contribute Typical examples Please contribute Weird ...
Error Number: 928 Mizar Message: Too many modes Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 614 Mizar Message: Duplicating label identifier Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 46 Mizar Message: Probably the incorporation of an argument Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 492 Mizar Message: Too many functor formats Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1255 Mizar Message: Ctrl Break Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 329 Mizar Message: Selector without argument is allowed only inside a structure pattern Description Please contribute Typical examples Please contribute ...
Error Number: 28 Mizar Message: Cannot widen the type of the substituted term to the type of functor variable Description Please contribute Typical examples Please ...
Error Number: 111 Mizar Message: Non registered attribute cluster Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 101 Mizar Message: Unknown mode Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 216 Mizar Message: Unexpected "end" Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 192 Mizar Message: Inaccessible theorem Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 161 Mizar Message: Fixed variables cannot be postqualified Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 479 Mizar Message: Too many loci in one definition block Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 360 Mizar Message: "(" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 272 Mizar Message: It's meaningless to redefine cluster Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 151 Mizar Message: Unknown mode format Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 911 Mizar Message: Too long term without parentheses Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 1003 Mizar Message: Path not found Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 714 Mizar Message: Irrelevant redefinition of a mode Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 1156 Mizar Message: Disk seek error Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 183 Mizar Message: Accessible mode format has empty list of arguments Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 1018 Mizar Message: No more files Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 733 Mizar Message: The redundant reconsidering of a term Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 816 Mizar Message: Invalid priority Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1215 Mizar Message: Arithmetic overflow error Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1101 Mizar Message: Disk write error Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 364 Mizar Message: "(" or " " expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 393 Mizar Message: Incorrect beginning of a reasoning item Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 124 Mizar Message: Disagreement of argument types Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 604 Mizar Message: Irrelevant inference Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 467 Mizar Message: Too many structures Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 172 Mizar Message: Unknown functor format Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 120 Mizar Message: Disagreement of argument types Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 363 Mizar Message: "(#" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 42 Mizar Message: Non unique matching of a locus of the substitute of a functor variable Description Please contribute Typical examples Please contribute ...
Error Number: 811 Mizar Message: Invalid priority of a functor symbol on a vocabulary file Description Please contribute Typical examples Please contribute Weird ...
Error Number: 1100 Mizar Message: Disk read error Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1201 Mizar Message: Range check error Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 145 Mizar Message: Inaccessible label Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 394 Mizar Message: Statement expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 45 Mizar Message: Wrong order of the declarations of scheme functor or nested functor Description Please contribute Typical examples Please contribute ...
Error Number: 152 Mizar Message: Unknown functor format Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 84 Mizar Message: The result type is not invariant under swapping the arguments Description Please contribute Typical examples Please contribute ...
Error Number: 63 Mizar Message: Unexpected proof Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1210 Mizar Message: Object not initialized Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 724 Mizar Message: This argument of the iterative equality is equal with a next one Description Please contribute Typical examples Please contribute ...
Error Number: 808 Mizar Message: Cannot find constructors file Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 1105 Mizar Message: File not open for output Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 398 Mizar Message: Type expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 77 Mizar Message: Still not implemented Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 105 Mizar Message: Illegal projection Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1159 Mizar Message: Printer out of paper Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 720 Mizar Message: The first two arguments of the iterative equality are equal Description Please contribute Typical examples Please contribute Weird ...
Error Number: 465 Mizar Message: Too many predicates Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 157 Mizar Message: Exactly one term is expected before "is" Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 321 Mizar Message: Predicate symbol or "is" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 109 Mizar Message: Invalid order of arguments of redefined constructor Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 472 Mizar Message: Too many references Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1161 Mizar Message: Device read fault Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 159 Mizar Message: Invalid iterative equality Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 191 Mizar Message: Unknown scheme Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 951 Mizar Message: Too many imported files Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1998 Mizar Message: I/O stream error: Cannot initialize stream Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 489 Mizar Message: Memory handling in unifier failed Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 495 Mizar Message: Too complicated scheme (too many occurrences of a functor variable) Description Please contribute Typical examples Please contribute ...
Error Number: 1205 Mizar Message: Floating point overflow Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 711 Mizar Message: Identity functor definition Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 100 Mizar Message: Inaccessible locus Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 112 Mizar Message: Unknown predicate Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 199 Mizar Message: Inaccessible definitional theorem Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 137 Mizar Message: "requirements SUBSET;" missing Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 1994 Mizar Message: I/O stream error: Put of unregistered object type Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 127 Mizar Message: Argument must be an elementary type Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 1017 Mizar Message: Cannot rename across drives Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 913 Mizar Message: Too many labels (simultaneously accessible) Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 215 Mizar Message: No pairing "end" for this word Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 821 Mizar Message: A scheme identifier repeated Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 33 Mizar Message: Too many fillings of a predicate Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 488 Mizar Message: Too many unreserved free variables Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 924 Mizar Message: Common number of loci exceeded Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 178 Mizar Message: Link assumes a straightforward justification Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 950 Mizar Message: Too many schemes Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 311 Mizar Message: Paired functor brackets must be of the same kind Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 921 Mizar Message: Too many private predicates Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 603 Mizar Message: Irrelevant linking Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 611 Mizar Message: End of an inaccessible item Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 179 Mizar Message: It is not a locus Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 833 Mizar Message: Nothing imported from theorems Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 715 Mizar Message: Irrelevant reconsider of a variable Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 25 Mizar Message: A variable bound in a substituted predicate occurs beyond the predicate Description Please contribute Typical examples Please contribute ...
Error Number: 804 Mizar Message: Cannot find signature file Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 134 Mizar Message: Cannot redefine expandable mode Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 13 Mizar Message: Too many complexes Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 125 Mizar Message: Argument of a selector must be a structure Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 184 Mizar Message: Accessible structure format has empty list of arguments Description Please contribute Typical examples Please contribute Weird ...
Error Number: 197 Mizar Message: Scheme definition repeated Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 242 Mizar Message: "reserve", "struct", "scheme" and "theorem" not allowed in a definition block Description Please contribute Typical examples Please ...
Error Number: 386 Mizar Message: "means" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1214 Mizar Message: Collection overflow error Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 22 Mizar Message: Impossible matching of a locus of a predicate Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 815 Mizar Message: A vocabulary symbol repeated Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 213 Mizar Message: "begin" missing Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 912 Mizar Message: Too long right nesting of a term Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 500 Mizar Message: Obsolete signature directive Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 485 Mizar Message: Too nested reasoning Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1995 Mizar Message: I/O stream error: Get of unregistered object type Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 229 Mizar Message: "redefine" repeated Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 305 Mizar Message: Selector symbol expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 12 Mizar Message: Too long universal prefix Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 927 Mizar Message: Too many functor patterns Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 219 Mizar Message: Unexpected "proof" Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 400 Mizar Message: Still not implemented Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 62 Mizar Message: Free variables not allowed in an iterative equality Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 142 Mizar Message: Unknown locus Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1208 Mizar Message: Overlay manager not installed Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 181 Mizar Message: Not so many arguments in this definition Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 230 Mizar Message: Only one "per cases" is allowed in a reasoning Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 814 Mizar Message: Invalid character or space in a symbol Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 113 Mizar Message: Unknown functor Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 708 Mizar Message: Theorem should be replaced by an equal one Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 202 Mizar Message: Too large numeral Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 253 Mizar Message: "means" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 194 Mizar Message: Wrong number of premises Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 370 Mizar Message: ")" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1160 Mizar Message: Device write fault Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 362 Mizar Message: "{" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 468 Mizar Message: Too many selectors Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1204 Mizar Message: Invalid pointer operation Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 473 Mizar Message: Too many justifications Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 162 Mizar Message: A free variable identified with a new implicit qualification Description Please contribute Typical examples Please contribute ...
Error Number: 812 Mizar Message: An empty line on a vocabulary file Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 605 Mizar Message: Irrelevant linked inference Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 163 Mizar Message: Disagreement of reservations of a free variable Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 732 Mizar Message: The redundant reconsidering of a variable Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 725 Mizar Message: The equal argument of the iterative equality with a previous one Description Please contribute Typical examples Please contribute ...
Error Number: 195 Mizar Message: Scheme uses constructors which are not in your environment Description Please contribute Typical examples Please contribute Weird ...
Error Number: 931 Mizar Message: Too many attribute patterns Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 167 Mizar Message: Unknown functor format Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1152 Mizar Message: Drive not ready Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 136 Mizar Message: Non registered cluster Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1158 Mizar Message: Sector Not Found Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 114 Mizar Message: Unknown mode Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1213 Mizar Message: Collection index out of range Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 214 Mizar Message: "end" missing Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 27 Mizar Message: Cannot solve cluster ambiguities Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 399 Mizar Message: Functor pattern expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 709 Mizar Message: Irrelevant vocabulary directive Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 158 Mizar Message: Two different formats for a structure symbol Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 466 Mizar Message: Too many functors Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 721 Mizar Message: The first argument of the iterative equality is equal with a next one Description Please contribute Typical examples Please contribute ...
Error Number: 122 Mizar Message: Disagreement of argument types Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 32 Mizar Message: Too many fillings of a functor Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 920 Mizar Message: Too many private functors Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 94 Mizar Message: Prefix must be a structure Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 373 Mizar Message: "#)" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 153 Mizar Message: Unknown predicate format Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 307 Mizar Message: Numeral expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 462 Mizar Message: Too many modes Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 918 Mizar Message: Too many variables (simultaneously accessible) Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 240 Mizar Message: Definition blocks must not be nested Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 919 Mizar Message: Too many reserved identifiers Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 53 Mizar Message: Invalid case Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1154 Mizar Message: CRC error in data Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 210 Mizar Message: Wrong item in environment declaration Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 170 Mizar Message: Unknown functor format Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 802 Mizar Message: Cannot find formats file Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 95 Mizar Message: Inconsistent cluster Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 486 Mizar Message: Too many functor formats Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 89 Mizar Message: As yet not implemented for redefined functors Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 1999 Mizar Message: I/O stream error: Access error Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 85 Mizar Message: The type of the argument must be equal to the result type Description Please contribute Typical examples Please contribute Weird ...
Error Number: 121 Mizar Message: Disagreement of argument types Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 933 Mizar Message: Too many structures Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 14 Mizar Message: Too many terms in an inference Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 320 Mizar Message: Selector or structure symbol expected Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 241 Mizar Message: Directives are not allowed in the text proper Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 81 Mizar Message: It is meaningful for binary predicates only Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 185 Mizar Message: Unknown structured mode format Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 250 Mizar Message: "$1",...,"$8" are allowed only inside definiens of a private constructor Description Please contribute Typical examples Please ...
Error Number: 817 Mizar Message: An empty symbol Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 803 Mizar Message: Cannot find notations file Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 1207 Mizar Message: Invalid floating point operation Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 914 Mizar Message: Too many references in an inference Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 1016 Mizar Message: Cannot remove current directory Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 23 Mizar Message: Impossible reconstruction of the definiens of a predicate Description Please contribute Typical examples Please contribute Weird ...
Error Number: 491 Mizar Message: Too many structure formats Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 117 Mizar Message: Invalid specification Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 451 Mizar Message: Too many predicate formats Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 304 Mizar Message: Structure symbol expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 177 Mizar Message: Link assumes a straightforward justification Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 1203 Mizar Message: Heap overflow error Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 481 Mizar Message: Too many functor symbols in default vocabulary files Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 807 Mizar Message: Cannot find schemes file Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 69 Mizar Message: Nongeneralizable variable in a definiens Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 395 Mizar Message: Justification expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 456 Mizar Message: Too many references in an inference Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 731 Mizar Message: The redundant reconsidering of terms Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 1001 Mizar Message: Invalid function number Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 80 Mizar Message: Cannot be used in a permissive definition Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 735 Mizar Message: Irrelevant variable reservation Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 308 Mizar Message: Identifier or theorem file name expected Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 477 Mizar Message: Too many predicate, mode or functor symbols Description Please contribute Typical examples Please contribute Weird examples Please ...
Error Number: 147 Mizar Message: Unknown theorems file Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 180 Mizar Message: Too many arguments Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 131 Mizar Message: No reserved type for a variable, free in the default type Description Please contribute Typical examples Please contribute Weird ...
Error Number: 616 Mizar Message: "be" recommended Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 141 Mizar Message: Locus repeated Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 44 Mizar Message: A formal predicate in a Fraenkel operator of formal construction Description Please contribute Typical examples Please contribute ...
Error Number: 387 Mizar Message: "st" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 494 Mizar Message: Too complicated scheme (too many external variables) Description Please contribute Typical examples Please contribute Weird examples ...
Error Number: 450 Mizar Message: Too many variables Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 480 Mizar Message: Too many default vocabulary files Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 26 Mizar Message: A variable bound in a substituted functor occurs beyond the functor Description Please contribute Typical examples Please contribute ...
Error Number: 1104 Mizar Message: File not open for input Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 609 Mizar Message: Irrelevant "that" Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 198 Mizar Message: It is meaningless to define an antonym to a functor or a mode Description Please contribute Typical examples Please contribute ...
Error Number: 937 Mizar Message: Too many arguments Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 382 Mizar Message: "for" expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 302 Mizar Message: Functor symbol expected Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 455 Mizar Message: Too many labels in a definition block Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Error Number: 1103 Mizar Message: File not open Description Please contribute Typical examples Please contribute Weird examples Please contribute
Error Number: 310 Mizar Message: Right functor bracket expected Description Please contribute Typical examples Please contribute Weird examples Please contribute ...
Number of topics: 433

Related topics: WebHome, BrainstormScratchPad?, FeatureEnhancementRequests?, FeatureToDo?, FeatureUnderConstruction?, FeatureDone?, FeatureNotSuitable?

WebForm
TopicClassification Select one...
ProjectGroup?

ImplementationDate? N/A
Topic revision: r1 - 2002-07-05 - 13:14:07 - WikiRoot
 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback