src/HOL/ROOT
changeset 65576 8376f83f9094
parent 65574 10f4a17e5928
child 65678 aaba2e0c247c
equal deleted inserted replaced
65575:f8681c62959d 65576:8376f83f9094
   962     "RIPEMD-160/rmd/s_l.siv"
   962     "RIPEMD-160/rmd/s_l.siv"
   963     "RIPEMD-160/rmd/s_r.fdl"
   963     "RIPEMD-160/rmd/s_r.fdl"
   964     "RIPEMD-160/rmd/s_r.rls"
   964     "RIPEMD-160/rmd/s_r.rls"
   965     "RIPEMD-160/rmd/s_r.siv"
   965     "RIPEMD-160/rmd/s_r.siv"
   966 
   966 
   967 session "HOL-SPARK-Manual" in "SPARK/Manual" = "HOL-SPARK-Examples" +
   967 session "HOL-SPARK-Manual" in "SPARK/Manual" = "HOL-SPARK" +
   968   options [show_question_marks = false, spark_prv = false]
   968   options [show_question_marks = false, spark_prv = false]
   969   theories
   969   theories
   970     Example_Verification
   970     Example_Verification
   971     VC_Principles
   971     VC_Principles
   972     Reference
   972     Reference