equal
deleted
inserted
replaced
1 (* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- *) |
1 (* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- *) |
2 (* Title: sys/eqrule_HOL_data.ML |
2 (* Title: HOL/eqrule_HOL_data.ML |
|
3 Id: $Id$ |
3 Author: Lucas Dixon, University of Edinburgh |
4 Author: Lucas Dixon, University of Edinburgh |
4 lucas.dixon@ed.ac.uk |
5 lucas.dixon@ed.ac.uk |
5 Modified: 22 July 2004 |
6 Modified: 22 July 2004 |
6 Created: 18 Feb 2004 |
7 Created: 18 Feb 2004 |
7 *) |
8 *) |