Tue, 25 Mar 2008 22:12:02 +0100 | wenzelm | Functor NamedThmsFun: data is available to the user as dynamic fact; | changeset | files |
Tue, 25 Mar 2008 21:59:48 +0100 | wenzelm | update_context: always store as "Nominal.eqvts"; | changeset | files |
Tue, 25 Mar 2008 21:47:19 +0100 | wenzelm | added command 'ML_val' (presently just a clone of 'ML'); | changeset | files |