2009-10-24 | Cezary Kaliszyk | Preparing infrastructire for LAMBDA_PRS | file | diff | annotate |
2009-10-24 | Christian Urban | moved the map_funs setup into QuotMain | file | diff | annotate |
2009-10-24 | Cezary Kaliszyk | Finally completely lift the previously lifted theorems + clean some old stuff | file | diff | annotate |
2009-10-24 | Cezary Kaliszyk | More infrastructure for automatic lifting of theorems lifted before | file | diff | annotate |
2009-10-24 | Cezary Kaliszyk | More infrastructure for automatic lifting of theorems lifted before | file | diff | annotate |
2009-10-24 | cek | Cleaning the mess | file | diff | annotate |
2009-10-24 | cek | Merge | file | diff | annotate |
2009-10-24 | cek | Better tactic and simplified the proof further | file | diff | annotate |
2009-10-23 | Christian Urban | fixed problem with incorrect ABS/REP name | file | diff | annotate |
2009-10-23 | Cezary Kaliszyk | Stronger tactic, simpler proof. | file | diff | annotate |
2009-10-23 | Cezary Kaliszyk | Split Finite Set example into separate file | file | diff | annotate |