products/sources/formale sprachen/VDM/VDMPP/CodegenPP/AST/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Base.thy   Sprache: Unknown

(*:maxLineLen=78:*)

theory Base
imports Main
begin

ML_file \<open>../antiquote_setup.ML\<close>

end

[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]