products/sources/formale sprachen/Coq/test-suite/output/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: HierarchyEvent.java   Sprache: Unknown

(* Was #4524 *)
Definition foo (x : Type) : True /\ True.
Proof.
split.
- exact I.
  Show Proof. (* Was not finding an evar name at some time *)
Abort.

[ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ]