Skip to content

GitLab

R
rt-proofs
Switch branch/tag
Find file Normal viewHistoryPermalink
all.v 87 Bytes
Newer Older
Björn Brandenburg's avatar
make all behavioral facts available as rt.behavior.facts.all.  
Björn Brandenburg committed
1 2 
Require Export rt.behavior.facts.service.
Require Export rt.behavior.facts.completion.