trac-296.v « trac « etc - proof-general - Emacs plugins for proof management systems

about summary refs log tree commit diff

path: root/etc/trac/trac-296.v

blob: ac0e223f65befe53de673cf30bf0a2f216796bb9 (plain)

1
2
3

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