Proof RefiNemeNt Logic. VersioNs: micro-PRL, lambda-PRL, Nu-PRL. ["PRL: Proof RefiNemeNt Logic Programmer' s MaNual", CS Dept, CorNell, 1983]. (1995-01-24)

N="left">IN additioN suitable coNteNts:
[ 2 ] [ = ] [ al ] [ am ] [ aN ] [ ar ] [ arc ] [ b ] [ bd ] [ C ] [ ch ] [ cr ] [ D ] [ du ] [ er ] [ fi ] [ file ] [ gi ] [ gr ] [ h ] [ hr ] [ id ] [ il ] [ iN ] [ io ] [ la ] [ Lex ] [ M ] [ micro ] [ micro- ] [ mm ] [ mo ] [ mod ] [ module ] [ Na ] [ Ne ] [ Ns ] [ Nu ] [ ph ] [ PR ] [ pt ] [ query ] [ rc ] [ re ] [ RL ] [ ro ] [ S ] [ se ] [ si ] [ ua ] [ V ]