merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE1c7ce7943396: merged
rISABELLEb41c8fce442d: case translation in intermediate language eliminates semantic clone - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- f041d5060892 tunedAuthor
- 07e82441c19e minor performance tuning;Author
- d28dcd57d2f3 added lemmaAuthor
- 8734ca279e59 tuned; avoided intermediate listsAuthor
- a1abcf46eb24 tuned; avoided intermediate listsAuthor
- ce09ea4c0f93 tuned; avoided intermediate listAuthor
- 64beebac04b8 made 'primcorec' more robustAuthor
- 019186a60c84 tuned signature;Author