Quot/Examples/FSet3.thy
2010-02-15 Cezary Kaliszyk Added a binding to the parser.
2010-02-12 Cezary Kaliszyk Undid the read_terms change; now compiles.
less more (0) -30 -10 -2 tip