| Thu, 14 Aug 2008 16:52:54 +0200 | wenzelm | ML_Context.add_antiq: pass position; | changeset | files |
| Thu, 14 Aug 2008 16:52:52 +0200 | wenzelm | retrieve_thms: transfer fact position to result; | changeset | files |
| Thu, 14 Aug 2008 16:52:51 +0200 | wenzelm | moved basic thm operations from structure PureThy to Thm; | changeset | files |