diff options
Diffstat (limited to 'backends/hol4/divDefProto2Script.sml')
| -rw-r--r-- | backends/hol4/divDefProto2Script.sml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/backends/hol4/divDefProto2Script.sml b/backends/hol4/divDefProto2Script.sml index 9dc43ea7..9efe835b 100644 --- a/backends/hol4/divDefProto2Script.sml +++ b/backends/hol4/divDefProto2Script.sml @@ -8,7 +8,6 @@ open primitivesLib val _ = new_theory "divDefProto2" - (* * Test with a general validity predicate. * |