haftmann [Wed, 28 Apr 2010 08:25:02 +0200] rev 36446
term_typ: print styled term
wenzelm [Tue, 27 Apr 2010 22:23:12 +0200] rev 36445
merged
wenzelm [Tue, 27 Apr 2010 21:53:55 +0200] rev 36444
removed obsolete sanity check -- Sign.certify_sort is stable;
wenzelm [Tue, 27 Apr 2010 21:46:10 +0200] rev 36443
monotonic sort certification: sorts are no longer minimized at the kernel boundary, only when reading input from the end-user;
wenzelm [Tue, 27 Apr 2010 21:34:22 +0200] rev 36442
really minimize sorts after certification -- looks like this is intended here;
wenzelm [Tue, 27 Apr 2010 19:44:04 +0200] rev 36441
tuned signature;
huffman [Tue, 27 Apr 2010 11:17:50 -0700] rev 36440
merged
huffman [Tue, 27 Apr 2010 11:03:04 -0700] rev 36439
generalize types of path operations
huffman [Tue, 27 Apr 2010 10:54:24 -0700] rev 36438
generalize more continuity lemmas
huffman [Tue, 27 Apr 2010 10:39:52 -0700] rev 36437
generalized many lemmas about continuity