| Sat, 29 Mar 2008 19:14:03 +0100 | wenzelm | simplified PureThy.store_thm; | changeset | files |
| Sat, 29 Mar 2008 19:14:00 +0100 | wenzelm | replaced 'ML_setup' by 'ML'; | changeset | files |
| Sat, 29 Mar 2008 19:13:58 +0100 | wenzelm | * Eliminated destructive theorem database. | changeset | files |
| Sat, 29 Mar 2008 13:03:09 +0100 | wenzelm | eliminated quiete_mode ref (not really needed); | changeset | files |
| Sat, 29 Mar 2008 13:03:08 +0100 | wenzelm | eliminated quiete_mode ref (turned into proper argument); | changeset | files |
| Sat, 29 Mar 2008 13:03:07 +0100 | wenzelm | eliminated quiete_mode ref (unused); | changeset | files |
| Sat, 29 Mar 2008 13:03:05 +0100 | wenzelm | eliminated quiet_mode ref of some packages (avoid CRITICAL setmp!); | changeset | files |
| Fri, 28 Mar 2008 22:39:47 +0100 | wenzelm | added forget_structure; | changeset | files |