# HG changeset patch # User wenzelm # Date 1553804564 -3600 # Node ID 7aaebfcf313439f141e8e25a3d67b7c98a649d88 # Parent 063da22e1c9e8b57cf2c6138d3b22822a99c810f removed junk; diff -r 063da22e1c9e -r 7aaebfcf3134 src/HOL/Nitpick_Examples/Mono_Nits.thy --- a/src/HOL/Nitpick_Examples/Mono_Nits.thy Thu Mar 28 13:20:57 2019 +0100 +++ b/src/HOL/Nitpick_Examples/Mono_Nits.thy Thu Mar 28 21:22:44 2019 +0100 @@ -199,6 +199,4 @@ ML_val {* check_theory @{theory Relation} *} *) -ML \getenv "ISABELLE_TMP"\ - end