src/HOL/Tools/Nitpick/nitpick_tests.ML
changeset 55539 0819931d652d
parent 55203 e872d196a73b
child 63693 5b02f7757a4c
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Mon Feb 17 18:18:27 2014 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Mon Feb 17 22:54:38 2014 +0100
     1.3 @@ -31,7 +31,6 @@
     1.4  val atom16_v1 = FreeName ("atom16_v1", dummy_T, Atom (16, 0))
     1.5  val atom24_v1 = FreeName ("atom24_v1", dummy_T, Atom (24, 0))
     1.6  val atom36_v1 = FreeName ("atom36_v1", dummy_T, Atom (36, 0))
     1.7 -val atom81_v1 = FreeName ("atom81_v1", dummy_T, Atom (81, 0))
     1.8  val struct_atom1_atom1_v1 =
     1.9    FreeName ("struct_atom1_atom1_v1", dummy_T, Struct [Atom (1, 0), Atom (1, 0)])
    1.10