equal
deleted
inserted
replaced
316 (verification conditions are generated automatically). |
316 (verification conditions are generated automatically). |
317 " |
317 " |
318 theories Hoare_Parallel |
318 theories Hoare_Parallel |
319 document_files "root.bib" "root.tex" |
319 document_files "root.bib" "root.tex" |
320 |
320 |
321 session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Number_Theory" + |
321 session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Library" + |
322 sessions |
322 sessions |
|
323 "HOL-Number_Theory" |
323 "HOL-Data_Structures" |
324 "HOL-Data_Structures" |
324 "HOL-Examples" |
325 "HOL-Examples" |
325 "HOL-Word" |
326 "HOL-Word" |
326 theories |
327 theories |
327 Generate |
328 Generate |