doc-src/IsarImplementation/Thy/integration.thy
changeset 20491 98ba42f19995
parent 20475 a04bf731ceb6
child 21168 0f869edd6cc1
equal deleted inserted replaced
20490:e502690952be 20491:98ba42f19995
   430   exceptions raised by the hook are ignored.
   430   exceptions raised by the hook are ignored.
   431 
   431 
   432   \end{description}
   432   \end{description}
   433 *}
   433 *}
   434 
   434 
   435 
       
   436 section {* Sessions and document preparation *}
       
   437 
       
   438 text FIXME
       
   439 
       
   440 end
   435 end