Ticket #403: dwim.v

File dwim.v, 114 bytes (added by coquser, 13 years ago)
Line 
1Definition a := 0.
2
3(* Definition b := a + 1. *)
4
5(* 
6 * Definition c := 
7 *   a + 2.
8 *)
9
10Definition d := a + 2.