src/HOL/Metis_Examples/Type_Encodings.thy
2011-07-26 blanchet 2011-07-26 renamed "preds" encodings to "guards"
2011-07-01 blanchet 2011-07-01 test a few more type encodings
2011-07-01 blanchet 2011-07-01 renamed "type_sys" to "type_enc", which is more accurate
2011-06-06 blanchet 2011-06-06 Metis code cleanup
2011-06-06 blanchet 2011-06-06 compile
2011-06-06 blanchet 2011-06-06 more preparations towards hijacking Metis
2011-06-06 blanchet 2011-06-06 tuned Metis examples