Cross Reference: /seL4-l4v-master/HOL4/examples/algebra/lib/jcLib.sig

Cross Reference: jcLib.sig

xref: /seL4-l4v-master/HOL4/examples/algebra/lib/jcLib.sig

Home
History
Annotate
Line#
Navigate
Raw
Download
only in /seL4-l4v-master/HOL4/examples/algebra/lib/

1signature jcLib =
2sig
3
4  include Abbrev
5  val stripDup : thm list -> tactic
6
7end
8

Indexes created Wed Sep 11 23:09:49 MDT 2024