src/Pure/Tools/nbe_codegen.ML
Fri, 15 Jun 2007 09:10:06 +0200 nipkow Removed thunk from Fun
less more (0) -10 -1 tip