src/HOL/BNF/Examples/Koenig.thy
2012-12-13 traytel 2012-12-13 renamed theory