| Sun, 12 Nov 2006 19:22:10 +0100 | nipkow | started reorgnization of lattice theories | changeset | files |
| Sat, 11 Nov 2006 23:58:46 +0100 | mengj | Added in is_fol_thms. | changeset | files |
| Sat, 11 Nov 2006 21:13:12 +0100 | wenzelm | level: do not account for local theory blocks (relevant for document preparation); | changeset | files |