Commit 49d32b31 authored by litak's avatar litak

corrected wrong name

parent 5d1a6118
(** * ApplicativeSetup *)
(** * HilbertSetup *)
(** This file is the first part of Tadeusz Litak's formalisation of W. Ruitenburg JSL 1984 paper
(** Large parts of this file are copied from Tadeusz Litak's formalisation of W. Ruitenburg JSL 1984 paper
"On the Period of Sequences (An(p)) in Intuitionistic Propositional Calculus" *)
Require Export dnegmod.KIbox_Rules.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment