Edinburgh Logical Framework

  1. redirect Logical_framework#LF {{R to section}}