| Wed, 19 Mar 2008 22:50:42 +0100 | wenzelm | more antiquotations; | changeset | files |
| Wed, 19 Mar 2008 22:47:39 +0100 | wenzelm | avoid Auto_tac; | changeset | files |
| Wed, 19 Mar 2008 22:47:38 +0100 | wenzelm | more antiquotations; | changeset | files |
| Wed, 19 Mar 2008 22:47:35 +0100 | wenzelm | eliminated change_claset/simpset; | changeset | files |
| Wed, 19 Mar 2008 22:28:17 +0100 | wenzelm | auxiliary dynamic_thm(s) for fact lookup; | changeset | files |
| Wed, 19 Mar 2008 22:28:08 +0100 | wenzelm | auxiliary dynamic_thm(s) for fact lookup; | changeset | files |
| Wed, 19 Mar 2008 22:27:57 +0100 | wenzelm | renamed datatype thmref to Facts.ref, tuned interfaces; | changeset | files |
| Wed, 19 Mar 2008 18:15:25 +0100 | wenzelm | removed redundant Nat.less_not_sym, Nat.less_asym; | changeset | files |