| Sun, 12 Nov 2006 21:14:51 +0100 | wenzelm | removed dead code; | changeset | files |
| Sun, 12 Nov 2006 21:14:49 +0100 | wenzelm | mk_atomize: careful matching against rules admits overloading; | changeset | files |
| 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 |
| Sat, 11 Nov 2006 21:13:11 +0100 | wenzelm | local 'end': no default tags; | changeset | files |