Cross Reference: /seL4-l4v-master/HOL4/polyml/documentation/Winref/

Name		Date	Size
..		25-Jul-2019	10
Bitmap.html	H A D	25-Jul-2019	5.1 KiB
Brush.html	H A D	25-Jul-2019	1.8 KiB
Button.html	H A D	25-Jul-2019	2.6 KiB
Caret.html	H A D	25-Jul-2019	1 KiB
Class.html	H A D	25-Jul-2019	2 KiB
Clipboard.html	H A D	25-Jul-2019	3.4 KiB
Clipping.html	H A D	25-Jul-2019	1.1 KiB
Color.html	H A D	25-Jul-2019	1.7 KiB
Combobox.html	H A D	25-Jul-2019	2.3 KiB
CommonDialog.html	H A D	25-Jul-2019	9.1 KiB
Cursor.html	H A D	25-Jul-2019	1.4 KiB
DeviceContext.html	H A D	25-Jul-2019	10.5 KiB
Dialog.html	H A D	25-Jul-2019	5.4 KiB
DragDrop.html	H A D	25-Jul-2019	1,008
Edit.html	H A D	25-Jul-2019	2.1 KiB
Font.html	H A D	25-Jul-2019	5.6 KiB
Globals.html	H A D	25-Jul-2019	2.2 KiB
Icon.html	H A D	25-Jul-2019	945
Keyboard.html	H A D	25-Jul-2019	650
Line.html	H A D	25-Jul-2019	1.3 KiB
ListBox.html	H A D	25-Jul-2019	1.8 KiB
Locale.html	H A D	25-Jul-2019	3.4 KiB
Menu.html	H A D	25-Jul-2019	3.8 KiB
Message.html	H A D	25-Jul-2019	40.4 KiB
MessageBox.html	H A D	25-Jul-2019	1.8 KiB
Metafile.html	H A D	25-Jul-2019	2.5 KiB
Mouse.html	H A D	25-Jul-2019	679
Painting.html	H A D	25-Jul-2019	2 KiB
Path.html	H A D	25-Jul-2019	913
Pen.html	H A D	25-Jul-2019	1 KiB
Printing.html	H A D	25-Jul-2019	816
Rectangle.html	H A D	25-Jul-2019	882
Reference.html	H A D	25-Jul-2019	10.6 KiB
Region.html	H A D	25-Jul-2019	1.7 KiB
Resource.html	H A D	25-Jul-2019	1.6 KiB
Scrollbar.html	H A D	25-Jul-2019	2.9 KiB
Shape.html	H A D	25-Jul-2019	863
Static.html	H A D	25-Jul-2019	2.4 KiB
Transform.html	H A D	25-Jul-2019	2.5 KiB
Window.html	H A D	25-Jul-2019	6.5 KiB
WinSystem.html	H A D	25-Jul-2019	3.3 KiB