/[mojave]/metaprl/theories/tactic/mptop.ml
ViewVC logotype

Diff of /metaprl/theories/tactic/mptop.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2525 by jyh, Mon Dec 28 21:07:52 1998 UTC revision 2549 by jyh, Fri Jan 1 20:14:13 1999 UTC
# Line 666  Line 666 
666      "::",               cons_expr;      "::",               cons_expr;
667      "()",               UnitExpr ();      "()",               UnitExpr ();
668      "[]",               ListExpr [];      "[]",               ListExpr [];
669      "true",             BoolExpr true;      "True",             BoolExpr true;
670      "false",            BoolExpr false]      "False",            BoolExpr false]
671    
672    
673  let rec add_resources base = function  let rec add_resources base = function

Legend:
Removed from v.2525  
changed lines
  Added in v.2549

  ViewVC Help
Powered by ViewVC 1.1.26