| products/sources/formale sprachen/Coq/test-suite/output/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Symbols.thy Sprache: Isabelle
|
Untersuchungsergebnis.out Download desText {Text[101] Scala[108] Latech[125]}zum Wurzelverzeichnis wechseln 1 subgoal very_very_long_type_name1 : Type very_very_long_type_name2 : Type f : very_very_long_type_name1 → very_very_long_type_name2 → Prop ============================ True → True → ∀ (x : very_very_long_type_name1) (y : very_very_long_type_name2), f x y ∧ f x y ∧ f x y ∧ f x y ∧ f x y ∧ f x y 1 subgoal very_very_long_type_name1 : Type very_very_long_type_name2 : Type f : very_very_long_type_name1 → very_very_long_type_name2 → Prop ============================ True → True → ∀ (x : very_very_long_type_name2) (y : very_very_long_type_name1) (z : very_very_long_type_name2), f y x ∧ f y z 1 subgoal very_very_long_type_name1 : Type very_very_long_type_name2 : Type f : very_very_long_type_name1 → very_very_long_type_name2 → Prop ============================ True → True → ∀ (x : very_very_long_type_name2) (y : very_very_long_type_name1) (z : very_very_long_type_name2), f y x ∧ f y z ∧ f y x ∧ f y z ∧ f y x ∧ f y z 1 subgoal very_very_long_type_name1 : Type very_very_long_type_name2 : Type f : very_very_long_type_name1 → very_very_long_type_name2 → Prop ============================ True → True → ∃ (x : very_very_long_type_name1) (y : very_very_long_type_name2), f x y ∧ f x y ∧ f x y ∧ f x y ∧ f x y ∧ f x y [ zur Elbe Produktseite wechseln0.91Quellennavigators ] |