Mon, 01 Jun 2015 10:47:08 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Sun, 31 May 2015 00:20:35 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
Sun, 31 May 2015 00:17:47 +0200 |
wenzelm |
clarified context;
|
changeset |
files
|
Sun, 31 May 2015 00:16:26 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Sun, 31 May 2015 00:11:12 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Sat, 30 May 2015 23:58:06 +0200 |
wenzelm |
standardize towards Thm.eta_long_conversion, which just does eta_long conversion;
|
changeset |
files
|
Sat, 30 May 2015 23:30:54 +0200 |
wenzelm |
tuned spelling;
|
changeset |
files
|
Sat, 30 May 2015 22:18:12 +0200 |
wenzelm |
unused;
|
changeset |
files
|
Sat, 30 May 2015 22:04:15 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Sat, 30 May 2015 21:52:37 +0200 |
wenzelm |
more explicit context;
|
changeset |
files
|
Sat, 30 May 2015 21:28:01 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
Sat, 30 May 2015 20:21:53 +0200 |
wenzelm |
tuned -- more direct Thm.renamed_prop;
|
changeset |
files
|
Sat, 30 May 2015 19:29:21 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
Sat, 30 May 2015 19:28:51 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|