2010-04-28 agolocalized default sort;
wenzelm [Wed, 28 Apr 2010 11:41:27 +0200] rev 36451
localized default sort;

2010-04-28 agomore systematic naming of tsig operations;
wenzelm [Wed, 28 Apr 2010 11:13:11 +0200] rev 36450
more systematic naming of tsig operations;

2010-04-28 agomodernized/simplified Sign.set_defsort;
wenzelm [Wed, 28 Apr 2010 11:09:19 +0200] rev 36449
modernized/simplified Sign.set_defsort;

2010-04-28 agoget_sort: minimize sorts given in the text, while keeping those from the context unchanged (the latter are preferred);
wenzelm [Wed, 28 Apr 2010 10:51:34 +0200] rev 36448
get_sort: minimize sorts given in the text, while keeping those from the context unchanged (the latter are preferred);
tuned;

2010-04-28 agoexport Type.minimize_sort;
wenzelm [Wed, 28 Apr 2010 10:43:08 +0200] rev 36447
export Type.minimize_sort;

2010-04-28 agoterm_typ: print styled term
haftmann [Wed, 28 Apr 2010 08:25:02 +0200] rev 36446
term_typ: print styled term

2010-04-27 agomerged
wenzelm [Tue, 27 Apr 2010 22:23:12 +0200] rev 36445
merged

2010-04-27 agomerged
huffman [Tue, 27 Apr 2010 11:17:50 -0700] rev 36444
merged

2010-04-27 agogeneralize types of path operations
huffman [Tue, 27 Apr 2010 11:03:04 -0700] rev 36443
generalize types of path operations

2010-04-27 agogeneralize more continuity lemmas
huffman [Tue, 27 Apr 2010 10:54:24 -0700] rev 36442
generalize more continuity lemmas