src/HOL/Library/word_setup.ML
changeset 18708 4b3dadb4fe33
parent 17876 b9c92f384109
child 19806 f860b7a98445
     1.1 --- a/src/HOL/Library/word_setup.ML	Thu Jan 19 15:45:10 2006 +0100
     1.2 +++ b/src/HOL/Library/word_setup.ML	Thu Jan 19 21:22:08 2006 +0100
     1.3 @@ -42,5 +42,5 @@
     1.4            thy
     1.5  	end
     1.6  in
     1.7 -val setup_word = [add_word]
     1.8 +val setup_word = add_word
     1.9  end