Simplify by using inference rules properly.
Description
Description
Details
Details
- Provenance
Tim J. Robbins <tjr@FreeBSD.org> Authored on Oct 28 2002, 9:05 AM - Parents
- rG60e155d99e44: Emptify.
- Branches
- Unknown
- Tags
Simplify by using inference rules properly. Tags None Referenced Files None Subscribers None |