src/HOL/Mutabelle/mutabelle.ML
2010-03-07 wenzelm 2010-03-07 modernized structure Object_Logic;
2010-02-27 wenzelm 2010-02-27 modernized structure Term_Ord;
2010-01-27 berghofe 2010-01-27 Changed author; removed debugging code.
2010-01-25 bulwahn 2010-01-25 adding Mutabelle to repository