nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Reverted 7aefbde58b.

This commit is contained in:
Achim D. Brucker 2019-08-17 09:40:25 +01:00
parent a78b1a4bfc
commit c34b13ba2f
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/DOF/RegExpChecker.sml
View File

@ -1,3 +1,16 @@
(*************************************************************************
* Copyright (C)
* 2019 The University of Exeter
* 2018-2019 The University of Paris-Saclay
* 2018 The University of Sheffield
*
* License:
* This program can be redistributed and/or modified under the terms
* of the 2-clause BSD-style license.
*
* SPDX-License-Identifier: BSD-2-Clause
*************************************************************************)
structure RegExpChecker : sig
type 'a equal
type num