search

data61 / PSL

Other
65 stars 9 forks source link

LiFtEr: fix `is_nth_arg_of_induct_method` in `LiFtEr_Struct.ML`. #68

Closed yutakang closed 5 years ago

yutakang commented 5 years ago

I fixed this issue in c35f618677d47b1bca1868531713dd9b04c6421b.