No other cites to report in EditorDoc
scan_lib_file1	Def auto_expand Def scan_lib_file1 Def == ScanLibFile: W"[word]" Def == AtFirst <ml> Eof <ml> WithNext<ml> Def == SoFar   ScanRest  fobruletree  fobload Def == SoFar   ScanRest  fobruletree  ob: <ml> Def == fobtok  Subtok Prefix Suffix    fobstr Def == fobkind `COM` `ABS` `DISP` `LAT` `ML` `THM` `RULE` Def == fobterm  tagterm () Eq term_size Def == Subterm   EditMatch Def == createob DELETEob checkob MOVEob copyob RENAMEob Def == `BAD`  `PARTIAL` `COMPLETE` Def == (modify menu)
ob_ref	Def ml, editor, ob_ref, possible_ob_ref, no_spaces Def $how == `$obname`
scan_lib_file	Def MLmacro Def ScanLibFile: FileName Def AtFirst atfirst Eof ifeof WithNextifnoteof Def help Def == let fname  complete_file_name FileName in Def == {Open the file then apply the function to Eof predicate and a Next Def == {operator, which returns the first entry, then advances the file. } Def == new_load_file fname Def == (Eof.Next. Def == (letrec ScanRest SoFar Def == (letrec  if Eof () then ifeof else Def == (letrec  let fobtok,fobkind,fobterm,fobruletree,fobload  Next () , Def == (letrec  let fobload tk Def == (letrec  let  fobload tk ; Def == (letrec  let  (if fobkind=`THM` thendo complete_thm_load tk) , Def == (letrec  let fobstr  tok_to_string fobtok , Def == (letrec  let tagterm () Def == (letrec  let  plug_enum Def == (letrec  let  #COVER  Def == (letrec  let  # 1 2 from 4  3 : term Def == (letrec  let  # Def == (letrec  let  IMP:IMPLODE Def == (letrec  let  IMP:Icomment{pre:s}( Def == (letrec  let  IMP:IcommentIMPLODE variable{3:v}; IMPLODE Def == (letrec  let  IMP:IcommentIMPLODE variable{3:v}; Ivariable{1:v} Def == (letrec  let  IMP:IcommentIMPLODE variable{2:v} from IMPLODE Def == (letrec  let  IMP:IcommentIMPLODE variable{2:v} from Ivariable{4:v})  Def == (letrec  let  [tok_to_word fobkind Def == (letrec  let  ;make_obref fobtok Def == (letrec  let  ;fobterm Def == (letrec  let  ;string_to_word fname] in Def == (letrec  ifnoteof in Def == (ScanRest atfirst)
ml_tok	Def ml, possible_ob_ref Def `$tok` == `$tok`
buttoni	Def button, button_insert, default_empty_text, words, slots_not_slots Def $a == t
ml_apply_arg_notate	Def ml Def f Def $com: a Def == f a {$com }
ml_words	Def MLmacro Def W"w" == words_to_string w
ml_implode_term	Def MLmacro Def IMP:T  == edit_implode_all T
ml_apply	Def ml, ml_apply Def a b == ((a)(b))
ml_assign	Def ml Def a := b == ((a):=(b))
ml_doif	Def ml Def if a thendo b == if a then do b else ()
ml_theunit	Def ml Def () == ()
ml_toko	Def ml, semi_puretext Def `s` == `s`
ml_cons	Def ml, ml_cons Def a.b == ((a).(b))
ml_letin	Def ml, ml_let, nospaces Def let$mod a  b in c == let$mod a  b in c
ml_eq	Def ml, ml_eq Def a=b == ((a)=(b))
ml_seq	Def ml, ml_seq Def a ; b == ((a);(b))
ml_pair	Def ml Def a,b == ((a),(b))
ml_if	Def ml Def if a then b else c == if a then b else c
ml_lambda	Def ml, NoConds Def a.b == (\a.(b))
ml_decl	Def ml Def a  b == a=(b)
ml_letin_wrap	Def ml, nospaces Def let$mod D in c == let$mod D in (c)
ml_do_unop	Def ml Def do X == (do (X))
ml_test	Def ml Def if a $then b $else c == if (a) $then (b) $else c
ml_parens	Def ml, slots_not_slots Def (a) == (a)
ml_nil	Def ml Def [] == []

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html