equal
deleted
inserted
replaced
1 (* ========================================================================= *) |
1 (* ========================================================================= *) |
2 (* THE KNUTH-BENDIX TERM ORDERING *) |
2 (* THE KNUTH-BENDIX TERM ORDERING *) |
3 (* Copyright (c) 2002 Joe Hurd, distributed under the BSD License *) |
3 (* Copyright (c) 2002 Joe Leslie-Hurd, distributed under the BSD License *) |
4 (* ========================================================================= *) |
4 (* ========================================================================= *) |
5 |
5 |
6 signature KnuthBendixOrder = |
6 signature KnuthBendixOrder = |
7 sig |
7 sig |
8 |
8 |