| 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 |