| 1999-07-02 | wenzelm | added 'txt'; | changeset | files |
| 1999-07-02 | wenzelm | add_txt; | changeset | files |
| 1999-07-02 | wenzelm | tuned; | changeset | files |
| 1999-07-01 | wenzelm | fixed order_trans; | changeset | files |
| 1999-07-01 | wenzelm | added KnasterTarski.thy; | changeset | files |
| 1999-07-01 | wenzelm | renamed with/APP to of/OF; | changeset | files |
| 1999-07-01 | wenzelm | Isar_examples/KnasterTarski.thy; | changeset | files |
| 1999-07-01 | wenzelm | added with_facts(_i); | changeset | files |
| 1999-07-01 | wenzelm | 'with' as == 'from' as facts; | changeset | files |
| 1999-07-01 | wenzelm | also, finally: opt_rules; | changeset | files |
| 1999-07-01 | wenzelm | have_thmss: more_ths; | changeset | files |
| 1999-07-01 | wenzelm | have_thmss: more_ths; | changeset | files |
| 1999-07-01 | wenzelm | renamed with/APP to of/OF; | changeset | files |
| 1999-07-01 | wenzelm | tuned; | changeset | files |
| 1999-07-01 | wenzelm | fixed backtracking of global_qed; | changeset | files |
| Loading... | |||