Cross Reference: /seL4-l4v-master/HOL4/src/coretypes/one.otd

Cross Reference: one.otd

xref: /seL4-l4v-master/HOL4/src/coretypes/one.otd

Home
History
Annotate
Line#
Navigate
Raw
Download
only in /seL4-l4v-master/HOL4/src/coretypes/

1delconst one
2deltype one
3skipthm one_TY_DEF
4delproof one_DEF
5delproof one_axiom
6

Indexes created Thu May 23 20:32:32 MDT 2024