The language uSed in the Boyer-Mooretheorem prover. ["Proving TheoremS About LISP FunctionS", R.S. Boyer et al JACM 22(1):129-144 (Jan 1975)].
Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS: [ 2 ] [ = ] [ ACM ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ B ] [ b ] [ bo ] [ C ] [ ch ] [ CM ] [ du ] [ ed ] [ er ] [ et ] [ fi ] [ file ] [ Fun ] [ ge ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ IS ] [ ISP ] [ J ] [ la ] [ language ] [ Lex ] [ LIS ] [ M ] [ mo ] [ mod ] [ module ] [ mS ] [ na ] [ nc ] [ ng ] [ nS ] [ ph ] [ pr ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ Se ] [ SP ] [ T ] [ th ] [ ua ] [ uS ] [ ve ] [ vi ] [ ye ]