products/sources/formale sprachen/Coq/test-suite/coq-makefile/template/src/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Test6.js   Sprache: JAVA

Untersuchungsergebnis.mlg Download desPVS {PVS[53] Cobol[73] C[98]}zum Wurzelverzeichnis wechseln

{
open Ltac_plugin
}
DECLARE PLUGIN "test_plugin"
{
let () = Mltop.add_known_plugin (fun () -> ()) "test_plugin";;
}

VERNAC COMMAND EXTEND Test CLASSIFIED AS SIDEFF
  | [ "TestCommand" ] -> { () }
END

TACTIC EXTEND test
| [ "test_tactic" ] -> { Test_aux.tac }
END

[ zur Elbe Produktseite wechseln0.77Quellennavigators  ]