doc/plugin_tutorial/tuto2/theories/Count.v


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

Require Import Demo.

(*** Local ***)

Count.
Count.

Import Demo.

Count.

(*** Persistent ***)

Count Persistent.
Count Persistent.

Import Demo.

Count Persistent.