etc/trac/trac-296.v


1
2
3
4
5
6

(* PG accepts this as valid though it isn't;
   see http://proofgeneral.inf.ed.ac.uk/trac/ticket/296 *)
Check nat.&!&*\:,.:<*&!)@)$.

(* How should this one parse? *)
Check 0.99.