equal
deleted
inserted
replaced
957 theories |
957 theories |
958 Example_Verification |
958 Example_Verification |
959 VC_Principles |
959 VC_Principles |
960 Reference |
960 Reference |
961 Complex_Types |
961 Complex_Types |
|
962 document_theories |
|
963 "HOL-SPARK-Examples.Greatest_Common_Divisor" |
962 document_files |
964 document_files |
963 "complex_types.ads" |
965 "complex_types.ads" |
964 "complex_types_app.adb" |
966 "complex_types_app.adb" |
965 "complex_types_app.ads" |
967 "complex_types_app.ads" |
966 "Gcd.adb" |
968 "Gcd.adb" |