HomeIsabelle/Phabricator

New entry Orient_Rewrite_Rule_Undecidable

Description

New entry Orient_Rewrite_Rule_Undecidable

Details

Provenance
nipkowAuthored on
Parents
rAFPe4ae5d1bea14: added missing files (oops)
Branches
Unknown
Tags
Unknown