prelude.v 257 Bytes
Newer Older
1
(* Copyright (c) 2012-2019, Coq-std++ developers. *)
2
(* This file is distributed under the terms of the BSD license. *)
3 4 5 6 7 8 9 10
From stdpp Require Export
  base
  tactics
  orders
  option
  vector
  numbers
  relations
11 12
  sets
  fin_sets
13 14 15
  listset
  list
  lexico.