| Fri, 27 Aug 2010 14:07:09 +0200 | wenzelm | expanded some aliases from structure Unsynchronized; | file | diff | annotate |
| Tue, 17 Aug 2010 17:57:19 +0100 | webertj | Tuned. | file | diff | annotate |
| Sat, 07 Nov 2009 18:55:30 +0000 | webertj | Due to popular demand: added a function that benchmarks proof reconstruction | file | diff | annotate |