summaryrefslogtreecommitdiff
path: root/test/regress/regress0/sets/insert.smt2
AgeCommit message (Expand)Author
2021-11-08sets: Rename kinds with a more consistent naming scheme. (#7595)Aina Niemetz
2014-06-30Use FS as the set-logic string for theory of setsKshitij Bansal
2014-06-29sets: "insert" operatorKshitij Bansal
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback