src/Cube/Example.thy
2006-06-22 ballarin 2006-06-22 Removed debugging code.
2006-06-20 ballarin 2006-06-20 Restructured locales with predicates: import is now an interpretation. New method intro_locales.
2005-09-17 wenzelm 2005-09-17 plain test session, includes example;