backends/hol4/primitivesLib.sml


1
2
3
4
5
6
7
8
9

(* Advanced tactics for the primitives library *)
structure primitivesBaseTacLib =
struct

open HolKernel boolLib bossLib Parse
open boolTheory arithmeticTheory integerTheory intLib listTheory stringTheory
open primitivesBaseTacLib primitivesTheory

end