/usr/share/hol88-2.02.19940316/contrib/knuth-bendix/sys.ml is in hol88-contrib-source 2.02.19940316-14.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 | % sys.ml - just load this one into HOL88, then run the tests
at the bottom of the file group.ml
%
loadf `lib`;;
loadf `rewrite`;;
loadf `kb`;;
loadf `order`;;
unlink `group.th` ? ();;
loadt `group`;;
|