isabelle: Changelog

blanchet [Sun, 11 Aug 2013 23:35:59 +0200] rev 52962

made (hopefully temporary) hack more robust

blanchet [Sun, 11 Aug 2013 23:35:59 +0200] rev 52961

added warning

blanchet [Sun, 11 Aug 2013 23:35:59 +0200] rev 52960

gracefully handle one more error condition

blanchet [Sun, 11 Aug 2013 23:35:59 +0200] rev 52959

gracefully fail to define polymorphic (co)datatypes in local context

blanchet [Sun, 11 Aug 2013 23:35:59 +0200] rev 52958

made code more robust

blanchet [Sun, 11 Aug 2013 23:35:59 +0200] rev 52957

avoid DUP exception in local context (cf. 062aa11e98e1)

blanchet [Sun, 11 Aug 2013 23:35:57 +0200] rev 52956

honor user tfree names

kleing [Sat, 10 Aug 2013 12:00:34 +0200] rev 52955

prefer local facts over global ones

kleing [Sat, 10 Aug 2013 11:59:03 +0200] rev 52954

use local context for name space

wenzelm [Sat, 10 Aug 2013 10:59:56 +0200] rev 52953

explicit "strict" flag for print functions (flipped internal meaning); non-strict query operations may operate on failed states;

isabelle