Export to Isabelle: Revision history

25 February 2012

• curprev 17:0117:01, 25 February 2012‎ imported>Wohuai‎ 32 bytes −5,708‎ Redirecting to Isabelle for Rodin

24 February 2012

• curprev 08:5908:59, 24 February 2012‎ imported>Wohuai‎ m 5,740 bytes +5‎ No edit summary

3 February 2012

• curprev 09:5509:55, 3 February 2012‎ imported>Wohuai‎ m 5,735 bytes +1‎ No edit summary
• curprev 09:5509:55, 3 February 2012‎ imported>Wohuai‎ 5,734 bytes +634‎ No edit summary

1 August 2011

• curprev 07:0707:07, 1 August 2011‎ imported>Mathieu‎ m 5,100 bytes +54‎ →‎HOL-EventB:

29 June 2011

• curprev 10:2310:23, 29 June 2011‎ imported>Wohuai‎ 5,046 bytes +623‎ No edit summary

8 June 2011

• curprev 14:3714:37, 8 June 2011‎ imported>Wohuai‎ 4,423 bytes −9‎ No edit summary

23 May 2011

• curprev 14:1014:10, 23 May 2011‎ imported>Wohuai‎ 4,432 bytes +6‎ No edit summary

18 May 2011

• curprev 07:4307:43, 18 May 2011‎ imported>Wohuai‎ m 4,426 bytes +12‎ No edit summary
• curprev 07:4207:42, 18 May 2011‎ imported>Wohuai‎ 4,414 bytes +398‎ No edit summary
• curprev 07:3207:32, 18 May 2011‎ imported>Wohuai‎ 4,016 bytes −119‎ No edit summary

12 May 2011

• curprev 15:4215:42, 12 May 2011‎ imported>Wohuai‎ 4,135 bytes +143‎ No edit summary
• curprev 15:3815:38, 12 May 2011‎ imported>Wohuai‎ 3,992 bytes +327‎ No edit summary

10 May 2011

• curprev 09:2609:26, 10 May 2011‎ imported>Wohuai‎ 3,665 bytes +1,421‎ No edit summary
• curprev 09:1609:16, 10 May 2011‎ imported>Wohuai‎ m 2,244 bytes −1‎ No edit summary
• curprev 09:1609:16, 10 May 2011‎ imported>Wohuai‎ m 2,245 bytes +5‎ No edit summary

9 May 2011

• curprev 13:2713:27, 9 May 2011‎ imported>Wohuai‎ 2,240 bytes +248‎ No edit summary
• curprev 12:5212:52, 9 May 2011‎ imported>Wohuai‎ 1,992 bytes +1‎ No edit summary
• curprev 12:5012:50, 9 May 2011‎ imported>Wohuai‎ 1,991 bytes +1,991‎ New page: The "Export to Isabelle" plug-in allows users to export proof obligations and sequents to Isabelle/HOL. Its main purpose is to help researchers analyse proof obligations in Isabelle; in t...