Skip to content

Commit b27047b

Browse files
jefraijefrai
committed
Prepare refactor
1 parent 6c50f58 commit b27047b

1 file changed

File tree

TraceTheory/TraceTheory/Language.lean renamed to TraceTheory/TraceTheory/Language2.lean

File renamed without changes.

0 commit comments

Comments
 (0)