etc/options

--- a/etc/options	Wed Aug 01 15:33:08 2012 +0200
+++ b/etc/options	Wed Aug 01 15:46:45 2012 +0200
@@ -30,6 +30,8 @@
   -- "level of detail for proof objects: 0, 1, 2"
 declare quick_and_dirty : bool = false
   -- "if true then some tools will OMIT some proofs"
+declare skip_proofs : bool = false
+  -- "skip over proofs"
 
 declare condition : string = ""
   -- "required environment variables for subsequent theories (separated by commas)"