A Collection of Isabelle Programming Hacks
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 

10 lines
261 B

  1. session "isabelle-hacks" = "HOL" +
  2. options [timeout = 600, document = pdf, document_variants="document:outline=/proof,/ML",document_output=output]
  3. theories
  4. Assert
  5. Hiding_Type_Variables
  6. Nano_JSON
  7. Code_Reflection
  8. document_files
  9. root.tex