doc-src/IsarRef/Thy/HOL_Specific.thy
changeset 29114 715178f6ae31
parent 29112 f2b45eea6dac
child 29560 fa6c5d62adf5
     1.1 --- a/doc-src/IsarRef/Thy/HOL_Specific.thy	Mon Dec 15 21:41:21 2008 +0100
     1.2 +++ b/doc-src/IsarRef/Thy/HOL_Specific.thy	Mon Dec 15 21:54:37 2008 +0100
     1.3 @@ -812,6 +812,7 @@
     1.4    'sledgehammer' (nameref *)
     1.5    ;
     1.6    'atp\_messages' ('(' nat ')')?
     1.7 +  ;
     1.8  
     1.9    'metis' thmrefs
    1.10    ;