| Fri, 12 Feb 2010 12:06:09 +0100 | Cezary Kaliszyk | The lattice instantiations are gone from Isabelle/Main, so | file | diff | annotate |
| Thu, 11 Feb 2010 10:06:02 +0100 | Cezary Kaliszyk | Main renaming + fixes for new Isabelle in IntEx2. | file | diff | annotate |
| Thu, 21 Jan 2010 19:52:46 +0100 | Cezary Kaliszyk | Changed fun_map and rel_map to definitions. | file | diff | annotate |