2006-06-17 | wenzelm | mutual_rule: proper context; | changeset | files |
2006-06-17 | wenzelm | export: simultaneous facts, refer to Variable.export; | changeset | files |
2006-06-17 | wenzelm | ProofContext.exports: simultaneous facts; | changeset | files |
2006-06-17 | wenzelm | Variable.importT_inst; | changeset | files |
2006-06-17 | wenzelm | standard: simultaneous facts; | changeset | files |
2006-06-17 | wenzelm | added singleton; | changeset | files |
Loading... |