| products/sources/formale sprachen/Coq/vernac/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: vernac.mllib Sprache: Unknown
|
Spracherkennung für: .mllib vermutete Sprache: C {C[11] Abap[248] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] Vernacexpr Attributes Pvernac G_vernac G_proofs Vernacprop Himsg ExplainErr Locality Egramml Vernacextend Ppvernac Proof_using Lemmas Class Egramcoq Metasyntax Auto_ind_decl Search Indschemes DeclareDef Obligations ComDefinition ComAssumption ComInductive ComFixpoint ComProgramFixpoint Classes Record Assumptions Vernacstate Mltop Topfmt Vernacentries Misctypes [ Dauer der Verarbeitung: 0.53 Sekunden ] |