1 session "RC" = HOL +

     2   theories [document = false]

     3 	"rc_theory" 

     4 	"final_theorems" 

     5 	"rc_theory" 

     6 	"os_rc" 

     7 

     8 session "Paper" = RC +

     9   options [document = pdf, browser_info = false, document_output = "."]

    10   theories

    11     "Paper"

    12 

    13