Mon, 26 Mar 2012 19:18:03 +0200 | wenzelm | disabled HOL-Proofs-Lambda temporarily, which causes problems with 2a1953f0d20d; | changeset | files |
Mon, 26 Mar 2012 18:32:22 +0200 | kuncar | tuned comment | changeset | files |
Mon, 26 Mar 2012 17:58:47 +0200 | kuncar | merged | changeset | files |