(rule
(targets all_stdlib.v)
(mode fallback)
(deps
build_all_stdlib.sh
(source_tree ../../../theories)
(source_tree ../../../plugins))
(action
(with-stdout-to all_stdlib.v
(bash "./build_all_stdlib.sh"))))
[ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
]
