| Sat, 14 May 2011 16:03:28 +0200 | wenzelm | proper runtime context for auto_inv_tac; | changeset | files |
| Sat, 14 May 2011 13:32:33 +0200 | wenzelm | simplified BLAST_DATA; | changeset | files |
| Sat, 14 May 2011 13:26:55 +0200 | wenzelm | proper Proof.context -- eliminated global operations; | changeset | files |
| Sat, 14 May 2011 12:40:11 +0200 | wenzelm | just one universal Proof.context -- discontinued claset/clasimpset; | changeset | files |
| Sat, 14 May 2011 11:42:43 +0200 | wenzelm | modernized functor names; | changeset | files |
| Sat, 14 May 2011 00:32:16 +0200 | wenzelm | method "deepen" with optional limit; | changeset | files |
| Fri, 13 May 2011 23:59:48 +0200 | wenzelm | merged | changeset | files |