src/HOL/Library/Nested_Environment.thy
2001-01-20 wenzelm 2001-01-20 tuned;
2001-01-19 wenzelm 2001-01-19 added HOL/Library/Nested_Environment.thy;