src/HOL/Lambda/NormalForm.thy
2007-09-06 berghofe 2007-09-06 Definition of normal forms (taken from theory WeakNorm).