Commit f1ec0759 authored by Andrei Paskevich's avatar Andrei Paskevich

avoid module-theory name clash in unraveling_a_card_trick.mlw

parent aacf7ac1
......@@ -8,7 +8,7 @@
http://www.springerlink.com/content/gn18673357154448/
*)
theory GilbreathCardTrick
theory GilbreathCardTrickPure
use export int.Int
use export list.List
......@@ -66,7 +66,7 @@ end
(* a program implementing the card trick using stacks *)
module GilbreathCardTrick
use import GilbreathCardTrick
use import GilbreathCardTrickPure
use import module stack.Stack
let shuffle (a b: t int) =
......
......@@ -19,7 +19,7 @@
verified="true"
expanded="false">
<theory
name="GilbreathCardTrick"
name="GilbreathCardTrickPure"
locfile="programs/unraveling_a_card_trick/../unraveling_a_card_trick.mlw"
loclnum="11" loccnumb="7" loccnume="25"
verified="true"
......@@ -53,7 +53,7 @@
prover="2"
timelimit="10"
memlimit="0"
edited="unraveling_a_card_trick_GilbreathCardTrick_shuffle_sym_1.v"
edited="unraveling_a_card_trick_GilbreathCardTrickPure_shuffle_sym_1.v"
obsolete="false"
archived="false">
<result status="valid" time="0.52"/>
......@@ -71,7 +71,7 @@
prover="2"
timelimit="10"
memlimit="0"
edited="unraveling_a_card_trick_GilbreathCardTrick_shuffle_length_1.v"
edited="unraveling_a_card_trick_GilbreathCardTrickPure_shuffle_length_1.v"
obsolete="false"
archived="false">
<result status="valid" time="0.55"/>
......
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