3 Commits

Author	SHA1	Message	Date
Jean-Christophe Filliatre	43b40a4866	library: {Stack,Queue}.length now return a Peano.t ... this way, the extraction maps them to OCaml's {Stack,Queue}.length without using ZArith anymore	2018-10-26 15:47:03 +02:00
Andrei Paskevich	eae547d95f	stdlib, examples: remove redundant "import"	2018-06-15 16:45:58 +02:00
Guillaume Melquiond	efb51e7d43	Merge theories and modules into stdlib (fix issue #62).	2017-12-15 15:34:35 +01:00