Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
depth.xpm
Sprache: Unknown
|
chapter HOL
session "HOL-Datatype_Benchmark" in Datatype_Benchmark = "HOL-Library" +
description "
Big (co)datatypes.
"
theories
Brackin
IsaFoR
Misc_N2M
session "HOL-Quickcheck_Benchmark" in Quickcheck_Benchmark = "HOL-Library" +
theories [quick_and_dirty]
Find_Unused_Assms_Examples
Needham_Schroeder_No_Attacker_Example
Needham_Schroeder_Guided_Attacker_Example
Needham_Schroeder_Unguided_Attacker_Example
session "HOL-Record_Benchmark" in Record_Benchmark = HOL +
description "
Big records.
"
theories
Record_Benchmark
[ Verzeichnis aufwärts0.16unsichere Verbindung
Übersetzung europäischer Sprachen durch Browser
]
|
|
