| Wed, 16 Apr 2008 21:53:02 +0200 | wenzelm | PureThy.defined_fact; | changeset | files |
| Wed, 16 Apr 2008 21:53:01 +0200 | wenzelm | renamed check_fact to defined_fact; | changeset | files |
| Wed, 16 Apr 2008 21:53:00 +0200 | wenzelm | removed unused space_of; | changeset | files |
| Wed, 16 Apr 2008 21:52:59 +0200 | wenzelm | valid_facts: more elementary version using Facts.fold_static; | changeset | files |
| Wed, 16 Apr 2008 21:52:58 +0200 | wenzelm | Facts.dest_static; | changeset | files |
| Wed, 16 Apr 2008 20:43:31 +0200 | berghofe | Auxiliary permutation functions are no longer declared using add_consts_i, | changeset | files |
| Wed, 16 Apr 2008 17:40:59 +0200 | wenzelm | removed unused TLA/Memory/MIParameters.thy; | changeset | files |