adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

lib: add Heap_List to ROOT 

Signed-off-by: Michael McInerney <michael.mcinerney@proofcraft.systems>
This commit is contained in:
Michael McInerney 2024-01-15 18:13:01 +10:30 committed by Achim D. Brucker
parent 4add4bdbf2
commit b0474bdb18
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
lib/ROOT
View File

@ -67,6 +67,7 @@ session Lib (lib) = Word_Lib +
Value_Type
Named_Eta
Rules_Tac
Heap_List
(* should move to Monads: *)
NonDetMonadLemmaBucket