Achim D. Brucker
50219d34cc
All checks were successful
ci/woodpecker/push/build Pipeline was successful
12 lines
290 B
Plaintext
12 lines
290 B
Plaintext
session "isabelle-hacks" = "HOL" +
|
|
options [timeout = 600, document = pdf, document_variants="document:outline=/proof,/ML",document_output=output]
|
|
theories
|
|
Assert
|
|
Code_Reflection
|
|
Fxp
|
|
Hiding_Type_Variables
|
|
Ml_Yacc_Lib
|
|
Simple_Oracle
|
|
document_files
|
|
root.tex
|