separation-logic-foundations/LibCore.v at main · isergeyam/separation-logic-foundations · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(* This file is extracted from the TLC library.
   http://github.com/charguer/tlc
   DO NOT EDIT. *)

(**************************************************************************
* TLC: A library for Coq                                                  *
* Packing the Core Modules                                                *
**************************************************************************)

From SLF Require Export LibTactics LibLogic LibOperation LibReflect.
From SLF Require Export LibUnit LibProd LibSum LibOption LibNat LibInt LibList.
From SLF Require Export LibRelation LibOrder LibWf.
Export LibTacticsCompatibility.

Open Scope Z_scope.
Open Scope Int_scope.
Open Scope comp_scope.

(* 2021-01-25 13:22 *)