12385 fun p_reg s =
12434        (case (p_reg r1,p_reg r2) of
12450              then case p_reg r of
12462     case (p_reg l,String.explode r) of
12468              then case p_reg r of
13103      (case p_reg a of
13110      (case (p_reg a,p_reg b) of
13140      (case (p_reg2[a,b],p_reg c) of

Indexes created Sat Jul 27 18:59:09 MDT 2024