| Wed, 28 Apr 2010 11:13:11 +0200 |
wenzelm |
more systematic naming of tsig operations;
|
changeset |
files
|
| Wed, 28 Apr 2010 11:09:19 +0200 |
wenzelm |
modernized/simplified Sign.set_defsort;
|
changeset |
files
|
| Wed, 28 Apr 2010 10:51:34 +0200 |
wenzelm |
get_sort: minimize sorts given in the text, while keeping those from the context unchanged (the latter are preferred);
|
changeset |
files
|
| Wed, 28 Apr 2010 10:43:08 +0200 |
wenzelm |
export Type.minimize_sort;
|
changeset |
files
|
| Wed, 28 Apr 2010 08:25:02 +0200 |
haftmann |
term_typ: print styled term
|
changeset |
files
|
| Tue, 27 Apr 2010 22:23:12 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 27 Apr 2010 11:17:50 -0700 |
huffman |
merged
|
changeset |
files
|
| Tue, 27 Apr 2010 11:03:04 -0700 |
huffman |
generalize types of path operations
|
changeset |
files
|
| Tue, 27 Apr 2010 10:54:24 -0700 |
huffman |
generalize more continuity lemmas
|
changeset |
files
|
| Tue, 27 Apr 2010 10:39:52 -0700 |
huffman |
generalized many lemmas about continuity
|
changeset |
files
|
| Mon, 26 Apr 2010 22:21:03 -0700 |
huffman |
simplify definition of continuous_on; generalize some lemmas
|
changeset |
files
|
| Mon, 26 Apr 2010 20:03:01 -0700 |
huffman |
move intervals section heading
|
changeset |
files
|