src/HOL/SMT.thy
changeset 50317 4d1590544b91
parent 48892 0b2407f406e8
child 55007 0c07990363a3
     1.1 --- a/src/HOL/SMT.thy	Mon Dec 03 15:23:36 2012 +0100
     1.2 +++ b/src/HOL/SMT.thy	Mon Dec 03 16:07:28 2012 +0100
     1.3 @@ -256,6 +256,8 @@
     1.4  The filename should be given as an explicit path.  It is good
     1.5  practice to use the name of the current theory (with ending
     1.6  @{text ".certs"} instead of @{text ".thy"}) as the certificates file.
     1.7 +Certificate files should be used at most once in a certain theory context,
     1.8 +to avoid race conditions with other concurrent accesses.
     1.9  *}
    1.10  
    1.11  declare [[ smt_certificates = "" ]]