src/HOL/UNITY/LessThan.thy
1998-04-03 paulson 1998-04-03 New UNITY theory