5 lines
118 B
Plaintext
5 lines
118 B
Plaintext
|
name = mcl_predicates
|
||
|
|
author = Fleckenstein
|
||
|
|
description = Provides MC-like predicates
|
||
|
|
depends = mcl_util, mcl_number
|