Jon Eugster 4e12c749e0 fix findLoops

2023-07-20 15:56:01 +02:00

..

findLoop.lean

fix findLoops

2023-07-20 15:56:01 +02:00

test_statement.lean

fix Statement inside a namespace

2023-05-26 17:10:10 +02:00