2003-12-22 | paulson | downgrading abel_cancel | changeset | files |
2003-12-22 | paulson | new binding | changeset | files |
2003-12-22 | paulson | simplifying | changeset | files |
2003-12-22 | paulson | moving HyperArith0.ML to other theories | changeset | files |
2003-12-22 | paulson | removing obsolete bindings | changeset | files |
2003-12-21 | paulson | tidying of HOL/Auth esp Guard lemmas | changeset | files |
2003-12-21 | nipkow | removed insert_Diff_single from simpset because it interfered with Auth :-( | changeset | files |
Loading... |