| Thu, 17 Apr 2008 16:30:45 +0200 | wenzelm | Pretty.mark; | changeset | files |
| Thu, 17 Apr 2008 11:40:00 +0200 | wenzelm | unused_thms: sort_distinct; | changeset | files |
| Wed, 16 Apr 2008 22:17:43 +0200 | wenzelm | Sign.add_path; | changeset | files |
| Wed, 16 Apr 2008 21:53:05 +0200 | wenzelm | removed obsolete BASIC_THM_DEPS; | changeset | files |
| Wed, 16 Apr 2008 21:53:04 +0200 | wenzelm | pretty_theorems: use proper PureThy.facts_of; | changeset | files |
| Wed, 16 Apr 2008 21:53:03 +0200 | wenzelm | Facts.extern_static; | changeset | files |
| Wed, 16 Apr 2008 21:53:02 +0200 | wenzelm | PureThy.defined_fact; | changeset | files |