equal
deleted
inserted
replaced
1 (* ========================================================================= *) |
1 (* ========================================================================= *) |
2 (* SOME SAMPLE PROBLEMS TO TEST PROOF PROCEDURES *) |
2 (* SOME SAMPLE PROBLEMS TO TEST PROOF PROCEDURES *) |
3 (* Copyright (c) 2001 Joe Hurd, distributed under the GNU GPL version 2 *) |
3 (* Copyright (c) 2001 Joe Hurd, distributed under the BSD License *) |
4 (* ========================================================================= *) |
4 (* ========================================================================= *) |
5 |
5 |
6 open Useful; |
6 open Useful; |
7 |
7 |
8 (* ------------------------------------------------------------------------- *) |
8 (* ------------------------------------------------------------------------- *) |