Nuprl Definition : nobrackets
(nobrackets):: l ==  l
FDL editor aliases : 
nobrackets
Latex:
(nobrackets)::  l  ==    l
Date html generated:
2016_05_15-PM-10_14_08
Last ObjectModification:
2015_09_23-AM-08_23_04
Theory : minimal-first-order-logic
Home
Index