wenzelm [Wed, 19 May 2010 21:18:02 +0200] rev 37003
basic controls to freeze/update prover results;
wenzelm [Wed, 19 May 2010 18:05:34 +0200] rev 37002
show fully detailed protocol messages;
bulwahn [Thu, 20 May 2010 07:36:50 +0200] rev 37001
merged
bulwahn [Thu, 20 May 2010 07:34:45 +0200] rev 37000
deactivated timing of infering modes
bulwahn [Wed, 19 May 2010 18:24:09 +0200] rev 36999
adapting examples
bulwahn [Wed, 19 May 2010 18:24:09 +0200] rev 36998
changing operations for accessing data to work with contexts
bulwahn [Wed, 19 May 2010 18:24:08 +0200] rev 36997
removed unnecessary Thm.transfer in the predicate compiler
bulwahn [Wed, 19 May 2010 18:24:07 +0200] rev 36996
changing compilation to work only with contexts; adapting quickcheck
bulwahn [Wed, 19 May 2010 18:24:06 +0200] rev 36995
removing unused argument in print_modes function
bulwahn [Wed, 19 May 2010 18:24:05 +0200] rev 36994
moving towards working with proof contexts in the predicate compiler