]> git.eshelyaron.com Git - sweep.git/commit
; Recognize ext-quantified goal positions as callable
authorEshel Yaron <me@eshelyaron.com>
Sat, 7 Oct 2023 12:21:31 +0000 (14:21 +0200)
committerEshel Yaron <me@eshelyaron.com>
Sat, 7 Oct 2023 12:21:31 +0000 (14:21 +0200)
commitebd42adc3087c7006f2d4c1a3801d992b4d3f966
tree78f42f389646174b45c80a077518c72e1ca77fe2
parent0dd67eba55309be645dc54488e5b894ab0fdf9c1
; Recognize ext-quantified goal positions as callable
sweep.pl