(* $Id: Rational.v,v 1.5 2000/06/26 12:44:48 freek Exp $ *)

Declare ML Module "rational".

Grammar tactic simple_tactic :=
    Rational ["Rational"] -> [(Rational)]
  | RationalV ["Rational" "Verbose"] -> [(RationalV)].
Syntax tactic level 0:
    RationalPP [(Rational)] -> ["Rational"]
  | RationalVPP [(RationalV)] -> ["Rational Verbose"].

