| Mon, 08 Aug 2011 20:47:12 +0200 | wenzelm | tuned thm_of_proof: build lookup table within closure; | changeset | files |
| Mon, 08 Aug 2011 20:21:49 +0200 | wenzelm | added Reconstruct.proof_of convenience; | changeset | files |
| Mon, 08 Aug 2011 19:59:35 +0200 | wenzelm | ship message in one piece; | changeset | files |
| Mon, 08 Aug 2011 17:23:15 +0200 | wenzelm | misc tuning -- eliminated old-fashioned rep_thm; | changeset | files |