Fri, 29 Oct 2010 23:15:01 +0200 merged
wenzelm [Fri, 29 Oct 2010 23:15:01 +0200] rev 40289
merged
Fri, 29 Oct 2010 21:41:14 +0200 added rule let_mono
krauss [Fri, 29 Oct 2010 21:41:14 +0200] rev 40288
added rule let_mono
Fri, 29 Oct 2010 22:59:40 +0200 CONTRIBUTORS;
wenzelm [Fri, 29 Oct 2010 22:59:40 +0200] rev 40287
CONTRIBUTORS;
Fri, 29 Oct 2010 22:54:54 +0200 more sharing of operations, without aliases;
wenzelm [Fri, 29 Oct 2010 22:54:54 +0200] rev 40286
more sharing of operations, without aliases;
Fri, 29 Oct 2010 22:22:36 +0200 simplified data lookup;
wenzelm [Fri, 29 Oct 2010 22:22:36 +0200] rev 40285
simplified data lookup;
Fri, 29 Oct 2010 22:19:27 +0200 export declarations by default, to allow other ML packages by-pass concrete syntax;
wenzelm [Fri, 29 Oct 2010 22:19:27 +0200] rev 40284
export declarations by default, to allow other ML packages by-pass concrete syntax; proper Args parsing for attribute syntax (required for proper treatment of morphisms when declarations are moved between contexts); tuned;
Fri, 29 Oct 2010 22:07:48 +0200 proper signature constraint for ML structure;
wenzelm [Fri, 29 Oct 2010 22:07:48 +0200] rev 40283
proper signature constraint for ML structure; explicit theory setup, which is customary outside Pure; formal @{binding} instead of Binding.name;
Fri, 29 Oct 2010 21:49:33 +0200 proper header;
wenzelm [Fri, 29 Oct 2010 21:49:33 +0200] rev 40282
proper header; tuned whitespace;
Fri, 29 Oct 2010 21:34:07 +0200 Coercive subtyping via subtype constraints, by Dmitriy Traytel (21-Oct-2010).
wenzelm [Fri, 29 Oct 2010 21:34:07 +0200] rev 40281
Coercive subtyping via subtype constraints, by Dmitriy Traytel (21-Oct-2010).
Fri, 29 Oct 2010 18:17:11 +0200 updated SMT certificates
boehmes [Fri, 29 Oct 2010 18:17:11 +0200] rev 40280
updated SMT certificates
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip