QuotMain.thy
2009-08-28 Cezary Kaliszyk Fixes after suggestions from Makarius:
2009-08-28 Cezary Kaliszyk More examples.
2009-08-27 Cezary Kaliszyk Use metavariables in the 'non-lambda' definitions
2009-08-26 Cezary Kaliszyk Make both kinds of definitions.
2009-08-25 Cezary Kaliszyk Changed to the use of "modern interface"
2009-08-25 Cezary Kaliszyk Initial version of the function that builds goals.
2009-08-25 Cezary Kaliszyk - Build an interpretation for fset from ML level and use it
2009-08-24 Christian Urban added the prove command
2009-08-21 Cezary Kaliszyk Fixed
2009-08-21 Christian Urban tuned
2009-08-20 cek UNION - Append theorem
2009-08-20 Christian Urban update
2009-08-18 Christian Urban updated slightly
2009-08-11 Christian Urban initial commit
less more (0) tip