| Fri, 21 Sep 2012 19:17:49 +0200 | blanchet | renamed LFP low-level rel property to have ctor not dtor in its name | changeset | files |
| Fri, 21 Sep 2012 18:25:17 +0200 | blanchet | changed base session for "HOL-BNF" for faster building in the typical case | changeset | files |
| Fri, 21 Sep 2012 18:25:17 +0200 | blanchet | renamed "rel_simp" to "dtor_rel" and similarly for "srel" | changeset | files |
| Fri, 21 Sep 2012 18:25:17 +0200 | blanchet | fixed a few names that escaped the renaming | changeset | files |
| Fri, 21 Sep 2012 18:25:17 +0200 | blanchet | tuned whitespace | changeset | files |
| Fri, 21 Sep 2012 17:41:29 +0200 | wenzelm | merged | changeset | files |
| Fri, 21 Sep 2012 17:02:23 +0200 | blanchet | clean up lemmas used for composition | changeset | files |
| Fri, 21 Sep 2012 16:53:38 +0200 | blanchet | created separate session "HOL-BNF-LFP" as a step towards eventual integration in "HOL" in the middle term | changeset | files |