src/HOL/ex/svc_funcs.ML

--- a/src/HOL/ex/svc_funcs.ML	Sun May 12 13:56:21 2013 +0200
+++ b/src/HOL/ex/svc_funcs.ML	Sun May 12 14:25:16 2013 +0200
@@ -14,6 +14,12 @@
   in either operand.
 
 For each variable of type nat, an assumption is added that it is non-negative.
+
+Relevant Isabelle environment settings:
+
+  #SVC_HOME=
+  #SVC_MACHINE=i386-redhat-linux
+  #SVC_MACHINE=sparc-sun-solaris
 *)
 
 structure Svc =