blob: 40e16b83c65476a695a69abb1282ded3a280bf8f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
(***********************************************************************
v * The Coq Proof Assistant / The Coq Development Team
<O___,, * CNRS-Ecole Polytechnique-INRIA Futurs-Universite Paris Sud
\VV/ *************************************************************
// * This file is distributed under the terms of the
* GNU Lesser General Public License Version 2.1
***********************************************************************)
(*i $$ i*)
(** digit based syntax for int31 and bigint *)
|