Skip to content
Snippets Groups Projects

Remove copyright headers, update LICENCE file.

Merged Remove copyright headers, update LICENCE file.
robbert/copyright into master
All threads resolved!
Merged Robbert Krebbers requested to merge robbert/copyright into master
All threads resolved!
Compare
and
43 files
+ 9
− 91
Compare changes
  • Side-by-side
  • Inline
Files
43
theories/base.v
+ 0
− 2
(* Copyright (c) 2012-2019, Coq-std++ developers. *)
(* This file is distributed under the terms of the BSD license. *)
(** This file collects type class interfaces, notations, and general theorems
(** This file collects type class interfaces, notations, and general theorems
that are used throughout the whole development. Most importantly it contains
that are used throughout the whole development. Most importantly it contains
abstract interfaces for ordered structures, sets, and various other data
abstract interfaces for ordered structures, sets, and various other data