Sat, 09 Aug 2008 22:43:46 +0200 | wenzelm | unified Args.T with OuterLex.token, renamed some operations; | file | diff | annotate |
Thu, 26 Jun 2008 15:06:25 +0200 | wenzelm | Args.context; | file | diff | annotate |
Mon, 23 Jun 2008 15:26:53 +0200 | wenzelm | tuned get_inductT: *all* rules for missing instantiation; | file | diff | annotate |
Tue, 10 Jun 2008 23:28:42 +0200 | wenzelm | added del attributes; | file | diff | annotate |
Sun, 18 May 2008 15:04:17 +0200 | wenzelm | guess_instance: proper context; | file | diff | annotate |
Fri, 16 May 2008 21:53:30 +0200 | wenzelm | removed obsolete option open; | file | diff | annotate |
Thu, 17 Apr 2008 22:22:23 +0200 | wenzelm | adapted to ProofContext.revert_skolem: extra Name.clean required; | file | diff | annotate |