| Wed, 30 Mar 2011 19:09:57 +0200 |
bulwahn |
removing dead code in exhaustive_generators
|
changeset |
files
|
| Wed, 30 Mar 2011 19:09:56 +0200 |
bulwahn |
removing junk that should not have been committed
|
changeset |
files
|
| Wed, 30 Mar 2011 23:26:40 +0200 |
wenzelm |
modernized specifications;
|
changeset |
files
|
| Wed, 30 Mar 2011 22:53:18 +0200 |
wenzelm |
accomodate autofix discipline of non-body context;
|
changeset |
files
|
| Wed, 30 Mar 2011 22:45:10 +0200 |
wenzelm |
session timing: show pseudo-speedup factor;
|
changeset |
files
|
| Wed, 30 Mar 2011 22:06:25 +0200 |
wenzelm |
visualize skolem and hilite (undeclared frees);
|
changeset |
files
|
| Wed, 30 Mar 2011 22:03:50 +0200 |
wenzelm |
more informative markup_free;
|
changeset |
files
|
| Wed, 30 Mar 2011 21:07:48 +0200 |
wenzelm |
inline lemmas instead of accidental physical addressing -- explicit is better than implicit;
|
changeset |
files
|
| Wed, 30 Mar 2011 20:21:40 +0200 |
wenzelm |
tuned white space and indentation;
|
changeset |
files
|
| Wed, 30 Mar 2011 20:19:21 +0200 |
wenzelm |
actually check list comprehension examples;
|
changeset |
files
|
| Wed, 30 Mar 2011 17:54:10 +0200 |
hoelzl |
products of probability measures are probability measures
|
changeset |
files
|
| Wed, 30 Mar 2011 17:54:01 +0200 |
hoelzl |
real multiplication is continuous
|
changeset |
files
|