| Thu, 03 Jul 2008 00:58:30 +0200 | berghofe | Adapted to changes in perm_simp / swap_simps. | changeset | files |
| Thu, 03 Jul 2008 00:56:45 +0200 | berghofe | Replaced all but one occurrence of perm_simp_tac by perm_simproc_app, | changeset | files |
| Thu, 03 Jul 2008 00:54:45 +0200 | berghofe | Rewrote code to use swap_simps rather than calc_atm (which tends to | changeset | files |
| Wed, 02 Jul 2008 21:43:57 +0200 | wenzelm | moved HOL-Plain up; | changeset | files |
| Wed, 02 Jul 2008 20:31:06 +0200 | wenzelm | rename Doc doc-src; | changeset | files |
| Wed, 02 Jul 2008 20:13:32 +0200 | wenzelm | renamed Contents to Dirs to avoid case-conflict with doc/Contents; | changeset | files |