| 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 |
| Fri, 21 Sep 2012 16:45:06 +0200 | blanchet | renamed "Codatatype" directory "BNF" (and corresponding session) -- this opens the door to no-nonsense session names like "HOL-BNF-LFP" | changeset | files |
| Fri, 21 Sep 2012 16:34:40 +0200 | blanchet | renamed top-level theory from "Codatatype" to "BNF" | changeset | files |
| Fri, 21 Sep 2012 15:53:29 +0200 | blanchet | adapted examples to renamings | changeset | files |
| Fri, 21 Sep 2012 15:53:29 +0200 | blanchet | renamed "pred" to "rel" (relator) | changeset | files |
| Fri, 21 Sep 2012 15:53:29 +0200 | blanchet | renamed "rel" to "srel" | changeset | files |
| Fri, 21 Sep 2012 15:53:29 +0200 | blanchet | fixed bug introduced by fold/unfold renaming | changeset | files |