pgen(1) on Linux
The text 4772392ecf02, as Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it. The page shows this text now.
generates single step proof obligations out of a DFG (SPASS) proof
The text 4772392ecf02, as Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it. The page shows this text now.
generates single step proof obligations out of a DFG (SPASS) proof