src/HOL/Import/hol4rews.ML
changeset 41615 f70d2cb26acf
parent 41522 42d13d00ccfb
child 42224 578a51fae383
equal deleted inserted replaced
41614:b7cd80330a16 41615:f70d2cb26acf