equal
deleted
inserted
replaced
1 (* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- *) |
1 (* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- *) |
2 (* Title: libs/upterm_lib.ML |
2 (* Title: Pure/IsaPlanner/upterm_lib.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 Created: 26 Jan 2004 |
6 Created: 26 Jan 2004 |
6 *) |
7 *) |
7 (* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- *) |
8 (* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- *) |